module Printer_01_01:XHTML (1.1 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_01.elt and type doc := F_01_01.doc
application/xhtml+xml
or
text/html
. This however has some
limitations.