Make (hax-engine.Hax_engine.Deprecated_generic

Parameters

module F : Features.T

module View : Concrete_ident.VIEW_API

include Deprecated_generic_printer_base.Make(F).API

type aux_info

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

val item : 
  aux_info ->
  Hax_engine.Deprecated_generic_printer_base.Make(F).{item}324 ->
  Deprecated_generic_printer_base.annot_str

val expr : 
  aux_info ->
  Hax_engine.Deprecated_generic_printer_base.Make(F).{expr}47 ->
  Deprecated_generic_printer_base.annot_str

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

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

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