module Printer_01_00:XHTML (1.0 Strict) printer. See . This printer try to follow the W3C guidelines for HTML compatibility. Hence the resulting string could be serve as well asXml_sigs.Typed_simple_printer
with type 'a elt := 'a F_01_00.elt and type doc := F_01_00.doc
application/xhtml+xml
or
text/html
. This however has some
limitations.