Module Xml_light.Dtd0

type dtd_child = Types.dtd_child =
  1. | DTDTag of string
  2. | DTDPCData
  3. | DTDOptional of dtd_child
  4. | DTDZeroOrMore of dtd_child
  5. | DTDOneOrMore of dtd_child
  6. | DTDChoice of dtd_child list
  7. | DTDChildren of dtd_child list
type dtd_element_type = Types.dtd_element_type =
  1. | DTDEmpty
  2. | DTDAny
  3. | DTDChild of dtd_child
type dtd_attr_default = Types.dtd_attr_default =
  1. | DTDDefault of string
  2. | DTDRequired
  3. | DTDImplied
  4. | DTDFixed of string
type dtd_attr_type = Types.dtd_attr_type =
  1. | DTDCData
  2. | DTDNMToken
  3. | DTDEnum of string list
  4. | DTDID
  5. | DTDIDRef
type dtd_item = Types.dtd_item =
  1. | DTDAttribute of string * string * dtd_attr_type * dtd_attr_default
  2. | DTDElement of string * dtd_element_type
type dtd = dtd_item list