Module DtdSource

Sourcetype origin =
  1. | Core
  2. | Netscape
Sourceval is_void : string -> bool
Sourceval is_head_element : string -> bool
Sourceval is_block : string -> bool
Sourceval closes : string -> string -> bool
Sourceval stops : string -> string -> bool
Sourceval element_origin : string -> origin
Sourceval attribute_origin : string -> (string * string) -> origin