print (hax-engine.Hax_engine.Generic

inherit Hax_engine.Generic_printer_base.Make(F).print_base

method printer_name : Hax_engine.Prelude.string

method get_span_data : Hax_engine.Prelude.unit ->
  Hax_engine.Generic_printer_base.Annotation.t Hax_engine.Prelude.list

method namespace_of_concrete_ident : Hax_engine.Ast.concrete_ident ->
  Hax_engine.Prelude.string * Hax_engine.Prelude.string Hax_engine.Prelude.list

The namespace a concrete identifier was defined in.

method par_state : Hax_engine.Generic_printer_base.ast_position ->
  Hax_engine.Generic_printer_base.par_state

method concrete_ident' : under_current_ns:Hax_engine.Prelude.bool ->
  Hax_engine.Ast.concrete_ident Hax_engine.Generic_printer_base.Make(F).fn

method concrete_ident : Hax_engine.Ast.concrete_ident
                          Hax_engine.Generic_printer_base.Make(F).fn

method name_of_concrete_ident : Hax_engine.Ast.concrete_ident
                                  Hax_engine.Generic_printer_base.Make(F).fn

method mutability : 'a. 'a Hax_engine.Ast.mutability
                          Hax_engine.Generic_printer_base.Make(F).fn

method primitive_ident : Hax_engine.Ast.primitive_ident
                           Hax_engine.Generic_printer_base.Make(F).fn

method local_ident : Hax_engine.Ast.local_ident
                       Hax_engine.Generic_printer_base.Make(F).fn

method literal : Hax_engine.Generic_printer_base.literal_ctx ->
  Hax_engine.Ast.literal Hax_engine.Generic_printer_base.Make(F).fn

method generic_value : Hax_engine.Generic_printer_base.Make(F).{generic_value}35
                         Hax_engine.Generic_printer_base.Make(F).fn

method lhs : Hax_engine.Generic_printer_base.Make(F).{lhs}51
               Hax_engine.Generic_printer_base.Make(F).fn

method ty_bool : PPrint.document

method ty_char : PPrint.document

method ty_str : PPrint.document

method ty_int : Hax_engine.Ast.int_kind
                  Hax_engine.Generic_printer_base.Make(F).fn

method ty_float : Hax_engine.Ast.float_kind
                    Hax_engine.Generic_printer_base.Make(F).fn

method generic_values : Hax_engine.Generic_printer_base.Make(F).{generic_value}35
                          Hax_engine.Prelude.list
                          Hax_engine.Generic_printer_base.Make(F).fn

method ty_app : Hax_engine.Ast.concrete_ident ->
  Hax_engine.Generic_printer_base.Make(F).{generic_value}35
    Hax_engine.Prelude.list
    Hax_engine.Generic_printer_base.Make(F).fn

method ty_tuple : Hax_engine.Prelude.int ->
  Hax_engine.Generic_printer_base.Make(F).{ty}34 Hax_engine.Prelude.list
    Hax_engine.Generic_printer_base.Make(F).fn

method ty : Hax_engine.Generic_printer_base.par_state ->
  Hax_engine.Generic_printer_base.Make(F).{ty}34
    Hax_engine.Generic_printer_base.Make(F).fn

method expr' : Hax_engine.Generic_printer_base.par_state ->
  Hax_engine.Generic_printer_base.Make(F).{expr'}45
    Hax_engine.Generic_printer_base.Make(F).fn

method expr_monadic_let : monad:
                            (Hax_engine.Generic_printer_base.Make(F).{supported_monads}48
                             * F.monadic_binding) ->
  lhs:Hax_engine.Generic_printer_base.Make(F).{pat}43 ->
  rhs:Hax_engine.Generic_printer_base.Make(F).{expr}46 ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46
    Hax_engine.Generic_printer_base.Make(F).fn

method expr_let : lhs:Hax_engine.Generic_printer_base.Make(F).{pat}43 ->
  rhs:Hax_engine.Generic_printer_base.Make(F).{expr}46 ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46
    Hax_engine.Generic_printer_base.Make(F).fn

method tuple_projection : size:Hax_engine.Prelude.int ->
  nth:Hax_engine.Prelude.int ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46
    Hax_engine.Generic_printer_base.Make(F).fn

method field_projection : Hax_engine.Ast.concrete_ident ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46
    Hax_engine.Generic_printer_base.Make(F).fn

method expr_app : Hax_engine.Generic_printer_base.Make(F).{expr}46 ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46 Hax_engine.Prelude.list ->
  Hax_engine.Generic_printer_base.Make(F).{generic_value}35
    Hax_engine.Prelude.list
    Hax_engine.Generic_printer_base.Make(F).fn

method doc_construct_tuple : PPrint.document Hax_engine.Prelude.list
                               Hax_engine.Generic_printer_base.Make(F).fn

method expr_construct_tuple : Hax_engine.Generic_printer_base.Make(F).{expr}46
                                Hax_engine.Prelude.list
                                Hax_engine.Generic_printer_base.Make(F).fn

method pat_construct_tuple : Hax_engine.Generic_printer_base.Make(F).{pat}43
                               Hax_engine.Prelude.list
                               Hax_engine.Generic_printer_base.Make(F).fn

method global_ident_projector : Hax_engine.Ast.global_ident
                                  Hax_engine.Generic_printer_base.Make(F).fn

method doc_construct_inductive : is_record:Hax_engine.Prelude.bool ->
  is_struct:Hax_engine.Prelude.bool ->
  constructor:Hax_engine.Ast.concrete_ident ->
  base:PPrint.document Hax_engine.Prelude.option ->
  (Hax_engine.Ast.global_ident * PPrint.document) Hax_engine.Prelude.list
    Hax_engine.Generic_printer_base.Make(F).fn

method expr_construct_inductive : is_record:Hax_engine.Prelude.bool ->
  is_struct:Hax_engine.Prelude.bool ->
  constructor:Hax_engine.Ast.concrete_ident ->
  base:
    (Hax_engine.Generic_printer_base.Make(F).{expr}46 * F.construct_base)
      Hax_engine.Prelude.option ->
  (Hax_engine.Ast.global_ident
   * Hax_engine.Generic_printer_base.Make(F).{expr}46)
    Hax_engine.Prelude.list
    Hax_engine.Generic_printer_base.Make(F).fn

method attr : Hax_engine.Ast.attr Hax_engine.Generic_printer_base.Make(F).fn

method attrs : Hax_engine.Ast.attrs Hax_engine.Generic_printer_base.Make(F).fn

method pat' : Hax_engine.Generic_printer_base.par_state ->
  Hax_engine.Generic_printer_base.Make(F).{pat'}42
    Hax_engine.Generic_printer_base.Make(F).fn

method pat_ascription : typ:Hax_engine.Generic_printer_base.Make(F).{ty}34 ->
  typ_span:Hax_engine.Ast.span ->
  Hax_engine.Generic_printer_base.Make(F).{pat}43
    Hax_engine.Generic_printer_base.Make(F).fn

method pat : Hax_engine.Generic_printer_base.par_state ->
  Hax_engine.Generic_printer_base.Make(F).{pat}43
    Hax_engine.Generic_printer_base.Make(F).fn

method expr_unwrapped : Hax_engine.Generic_printer_base.par_state ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46
    Hax_engine.Generic_printer_base.Make(F).fn

method param : Hax_engine.Generic_printer_base.Make(F).{param}309
                 Hax_engine.Generic_printer_base.Make(F).fn

method item' : Hax_engine.Generic_printer_base.Make(F).{item'}312
                 Hax_engine.Generic_printer_base.Make(F).fn

method item_unwrapped : Hax_engine.Generic_printer_base.Make(F).{item}313
                          Hax_engine.Generic_printer_base.Make(F).fn

method generic_param' : Hax_engine.Generic_printer_base.Make(F).{generic_param}276
                          Hax_engine.Generic_printer_base.Make(F).fn

method generic_param : Hax_engine.Generic_printer_base.Make(F).{generic_param}276
                         Hax_engine.Generic_printer_base.Make(F).fn

method generic_params : Hax_engine.Generic_printer_base.Make(F).{generic_param}276
                          Hax_engine.Prelude.list
                          Hax_engine.Generic_printer_base.Make(F).fn

method arm' : Hax_engine.Generic_printer_base.Make(F).{arm'}54
                Hax_engine.Generic_printer_base.Make(F).fn

method arm : Hax_engine.Generic_printer_base.Make(F).{arm}55
               Hax_engine.Generic_printer_base.Make(F).fn

method expr : Hax_engine.Generic_printer_base.par_state ->
  Hax_engine.Generic_printer_base.Make(F).{expr}46
    Hax_engine.Generic_printer_base.Make(F).fn

method item : Hax_engine.Generic_printer_base.Make(F).{item}313
                Hax_engine.Generic_printer_base.Make(F).fn

method quote : Hax_engine.Generic_printer_base.Make(F).{quote}47
                 Hax_engine.Generic_printer_base.Make(F).fn

method items : Hax_engine.Generic_printer_base.Make(F).{item}313
                 Hax_engine.Prelude.list
                 Hax_engine.Generic_printer_base.Make(F).fn