Modules

type
border
=
Variant
  •    
    { 
    void
     
    all
     }
  • or 
    { 
    void
     
    left
     }
  • or 
    { 
    void
     
    right
     }
  • or 
    { 
    void
     
    top
     }
  • or 
    { 
    void
     
    bottom
     }
type
case
=
Variant
  •    
    { 
    void
     
    lower_case
     }
  • or 
    { 
    void
     
    upper_case
     }
type
dom
type
empty
type =
{ 
α
 
value
 }
type
leading_zero
=
Variant
  •    
    { 
    void
     
    leading
     }
  • or 
    { 
    void
     
    not_leading
     }
type =
{ 
string
 
namespace
, 
string
 
name
, 
α
 
value
 }
type =
{ 
string
 
namespace
, 
string
 
name
, 
α
 
value
 }
type
xhtml_bool_attribute
=
{ 
string
 
name
, 
 }
type
xhtml_bool_attribute_value
=
Variant
  •    
    { 
    string
     
    string
     }
  • or 
    { 
    bool
     
    bool
     }
  • or 
    { 
    void
     
    none
     }
type
xhtml_event
=
Variant
type
xhtml_href
=
Variant
  •    
    { 
    string
     
    constant
     }
  • or 
    { 
    string
     
    untyped
     }
  • or 
    { 
    Uri.uri
     
    typed
     }
  • or 
    { 
    void
     
    none
     }
type
xhtml_specific_attributes
=
{ 
list
(
string
)
 
class
, 
 
bool_attributes
, 
 }
type
xhtml_specific_extensions
=
{ 
string
 
html_code_unsafe
, 
string
 
js_code_unsafe
 }
type
xml
(
'attributes
, 
'extensions
)
=
Variant
  •    
    { 
    string
     
    text
     }
  • or 
    { 
    string
     
    content_unsafe
     }
  • or 
    { 
    list
    (
    xml
    (
    'attributes
    , 
    'extensions
    )
    )
     
    fragment
     }
  • or 
    { 
    string
     
    namespace
    , 
    string
     
    tag
    , 
     
    xmlns
    , 
    list
    (
    xml
    (
    'attributes
    , 
    'extensions
    )
    )
     
    content
    , 
    option
    (
    'attributes
    )
     
    specific_attributes
     }
  • or 
    { 
    option
    (
    'extensions
    )
     
    xml_dialect
     }
type
xml_document
=
{ 
xml_header
 
header
, 
xmlns
 
element
 }
type
xml_header
=
{ 
option
(
float
)
 
version
, 
option
(
string
)
 
encoding
, 
 
standalone
 }
Name Summary
$
The empty fragment of xhtml
px

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.