Module Xhtml_sigs


module Xhtml_sigs: sig .. end
The elements, attributes, attribute types and data types are given names that match the names in the W3C recommendation as closely as allowed by a strict typing discipline and the lexical conventions of O'Caml:

Finite sets of alternatives are mapped to polymorphic variants.

The phantom type is always the most general required by any (supported) version of the standard. Type discipline is enforced by exporting or not-exporting the corresponding constructor.

The type defining group of html elements are in Xhtml_types


module type T_01_01 = sig .. end
module type T_01_00 = sig .. end
module type T = T_01_01