module M_01_00: XHTML_sigs.T_01_00 with module XML := XML
XHTML_sigs.T_01_00
with module XML := XML
include XHTML_sigs.T_01_01
val a_name_01_00 : XHTML_types.cdata -> [> `Name_01_00 ] attrib
XHTML_types.cdata -> [> `Name_01_00 ] attrib