type xml
=
|
Element of string * (string * string) list * xml list
PCData of string
type error_msg
UnterminatedComment
UnterminatedString
UnterminatedEntity
IdentExpected
CloseExpected
NodeExpected
AttributeNameExpected
AttributeValueExpected
EndOfTagExpected of string
EOFExpected
type error_pos
{
eline : int;
eline_start : int;
emin : int;
emax : int;
}
type dtd_child
DTDTag of string
DTDPCData
DTDOptional of dtd_child
DTDZeroOrMore of dtd_child
DTDOneOrMore of dtd_child
DTDChoice of dtd_child list
DTDChildren of dtd_child list
type dtd_element_type
DTDEmpty
DTDAny
DTDChild of dtd_child
type dtd_attr_default
DTDDefault of string
DTDRequired
DTDImplied
DTDFixed of string
type dtd_attr_type
DTDCData
DTDNMToken
DTDEnum of string list
DTDID
DTDIDRef
type dtd_item
DTDAttribute of string * string * dtd_attr_type * dtd_attr_default
DTDElement of string * dtd_element_type
type dtd
= dtd_item list