Module Parse.Structure

type 'returnType inputType =
  1. | InputStringElement : string inputType
  2. | InputStringElements : string list inputType
  3. | InputStructureElement : 'returnType Read.reader -> 'returnType inputType
  4. | InputStructuresElement : 'returnType Read.reader -> 'returnType list inputType
type 'a inputItem = {
  1. tag : string;
  2. type_ : 'a inputType;
}
exception InputUnordered of string
exception MissingElement of string * Xmlm.pos
val item1 : 'a. Xmlm.input -> 'a inputItem -> 'a option
val scanSequence : Xmlm.input -> string list -> (string -> Xmlm.signal -> unit) -> unit
val item2 : 'a 'b. Xmlm.input -> 'a inputItem -> 'b inputItem -> 'a option * 'b option
val item3 : 'a 'b 'c. Xmlm.input -> 'a inputItem -> 'b inputItem -> 'c inputItem -> 'a option * 'b option * 'c option
val item4 : 'a 'b 'c 'd. Xmlm.input -> 'a inputItem -> 'b inputItem -> 'c inputItem -> 'd inputItem -> 'a option * 'b option * 'c option * 'd option
val item5 : 'a 'b 'c 'd 'e. Xmlm.input -> 'a inputItem -> 'b inputItem -> 'c inputItem -> 'd inputItem -> 'e inputItem -> 'a option * 'b option * 'c option * 'd option * 'e option
val item6 : 'a 'b 'c 'd 'e 'f. Xmlm.input -> 'a inputItem -> 'b inputItem -> 'c inputItem -> 'd inputItem -> 'e inputItem -> 'f inputItem -> 'a option * 'b option * 'c option * 'd option * 'e option * 'f option
val item7 : 'a 'b 'c 'd 'e 'f 'g. Xmlm.input -> 'a inputItem -> 'b inputItem -> 'c inputItem -> 'd inputItem -> 'e inputItem -> 'f inputItem -> 'g inputItem -> 'a option * 'b option * 'c option * 'd option * 'e option * 'f option * 'g option