HTMLtype er = View.ertype viewer = erval toHTML : viewer -> stringval string : string -> viewerval raw : string -> viewerval unit : unit -> viewerval int : int -> viewerval float : float -> viewerval bool : bool -> viewerval char : char -> viewerval br : viewerval link : string -> viewermodule Wizard : sig ... endmodule type Element = sig ... endmodule Raw : sig ... endmodule String : sig ... end