Make (hax-engine.Hax_engine.Generic

Parameters

module F : Features.T

module AST : sig ... end

module Gen : sig ... end

type printer = (Annotation.t Prelude.list, PPrint.document) Gen.object_type

type finalized_printer =
  (Prelude.unit, Prelude.string * Annotation.t Prelude.list) Gen.object_type

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

class virtual base : object ... end