module Printer: module type of Eliom_content_core.Html5.Printer
module type of Eliom_content_core.Html5.Printer