Base (hax-engine.Hax_engine.Generic_printer

module AST : sig ... end

module Gen : sig ... end

type printer =
  ((Hax_engine__Generic_printer.Annotation.loc * Ast.span) Prelude.list,
    PPrint.document)
    Gen.object_type

type finalized_printer =
  (Prelude.unit,
    Prelude.string
    * (Hax_engine__Generic_printer.Annotation.loc * Ast.span) Prelude.list)
    Gen.object_type

val finalize : (Prelude.unit -> printer) -> finalized_printer

class virtual base : object ... end