type xml_attribute = string option * string * string
type markup = [ `MathML | `BoxML ]
+(** High-level attributes *)
+
val keyword_attributes: (* let, match, in, ... *)
markup -> xml_attribute list
val object_keyword_attributes: (* Body, Definition, ... *)
markup -> xml_attribute list
+(** Low-level attributes *)
+
+val spacing_attributes: markup -> xml_attribute list
+val indent_attributes: markup -> xml_attribute list
+val small_skip_attributes: markup -> xml_attribute list
+