Api (hax-engine.Hax_engine.Deprecated_generic_printer

Parameters

module NewPrint : sig ... end

val mk : 
  (print_object -> 'a -> PPrint.document) ->
  NewPrint.aux_info ->
  'a0 ->
  annot_str

type aux_info = NewPrint.aux_info

val items : aux_info -> Hax_engine__Ast.Make(F).item Prelude.list -> annot_str

val item : aux_info -> Hax_engine__Ast.Make(F).item -> annot_str

val expr : aux_info -> Hax_engine__Ast.Make(F).expr -> annot_str

val pat : aux_info -> Hax_engine__Ast.Make(F).pat -> annot_str

val ty : aux_info -> Hax_engine__Ast.Make(F).ty -> annot_str