Constant xmlDocProperties_XML_DOC_HTML 

pub const xmlDocProperties_XML_DOC_HTML: xmlDocProperties = 128;