package xml-light

  1. Overview
  2. Docs

Module Xml_light_types

types shared by the Xml and Dtd modules

type xml =
  1. | Element of string * (string * string) list * xml list
  2. | PCData of string
type 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 =
  1. | DTDEmpty
  2. | DTDAny
  3. | DTDChild of dtd_child
type dtd_attr_default =
  1. | DTDDefault of string
  2. | DTDRequired
  3. | DTDImplied
  4. | DTDFixed of string
type dtd_attr_type =
  1. | DTDCData
  2. | DTDNMToken
  3. | DTDEnum of string list
  4. | DTDID
  5. | DTDIDRef
type 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