Make (hax-engine.Hax_engine.Generic

Parameters

module F : Features.T

module View : Concrete_ident.VIEW_API

include Generic_printer_base.Make(F).API

type aux_info

val items : 
  aux_info ->
  Hax_engine.Generic_printer_base.Make(F).{item}313 Prelude.list ->
  Generic_printer_base.annot_str

val item : 
  aux_info ->
  Hax_engine.Generic_printer_base.Make(F).{item}313 ->
  Generic_printer_base.annot_str

val expr : 
  aux_info ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46 ->
  Generic_printer_base.annot_str

val pat : 
  aux_info ->
  Hax_engine.Generic_printer_base.Make(F).{pat}43 ->
  Generic_printer_base.annot_str

val ty : 
  aux_info ->
  Hax_engine.Generic_printer_base.Make(F).{ty}34 ->
  Generic_printer_base.annot_str

class print : Hax_engine.Generic_printer_base.Make(F).print_class