Module Generic_printer_template.Make

Parameters

module F : Features.T
module Default : sig ... end

Signature

module AST : sig ... end
module Base : sig ... end
val default_string_for : Hax_engine.Prelude.String.t -> Hax_engine.Prelude.String.t
val default_document_for : Hax_engine.Prelude.String.t -> PPrint.document
class printer : object ... end