printer (hax-engine.Hax_engine.Generic_printer

inherit Base.base

method arm : arm:
               Hax_engine__Ast.Make(F).arm'
                 Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  span:Hax_engine.Ast.span ->
  PPrint.document

method arm' : super:Hax_engine__Ast.Make(F).arm ->
  arm_pat:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  body:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  guard:
    Hax_engine__Ast.Make(F).guard
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  PPrint.document

method attrs : Hax_engine.Ast.attr Hax_engine.Prelude.list -> PPrint.document

method binding_mode_ByRef : Hax_engine__Ast.Make(F).borrow_kind
                              Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  F.reference ->
  PPrint.document

method binding_mode_ByValue : PPrint.document

method borrow_kind_Mut : F.mutable_reference -> PPrint.document

method borrow_kind_Shared : PPrint.document

method borrow_kind_Unique : PPrint.document

method cf_kind_BreakOnly : PPrint.document

method cf_kind_BreakOrReturn : PPrint.document

method common_array : PPrint.document Hax_engine.Prelude.list ->
  PPrint.document

method dyn_trait_goal : trait:
                          Hax_engine.Ast.concrete_ident
                            Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  non_self_args:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method error_expr : Hax_engine.Prelude.string -> PPrint.document

method error_item : Hax_engine.Prelude.string -> PPrint.document

method error_pat : Hax_engine.Prelude.string -> PPrint.document

method expr : e:
                Hax_engine__Ast.Make(F).expr'
                  Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  span:Hax_engine.Ast.span ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_AddressOf : super:Hax_engine__Ast.Make(F).expr ->
  mut:F.mutable_pointer Hax_engine.Ast.mutability ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.raw_pointer ->
  PPrint.document

method expr'_App_application : super:Hax_engine__Ast.Make(F).expr ->
  f:
    Hax_engine__Ast.Make(F).expr
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  args:
    Hax_engine__Ast.Make(F).expr
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  generics:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method expr'_App_constant : super:Hax_engine__Ast.Make(F).expr ->
  constant:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method expr'_App_field_projection : super:Hax_engine__Ast.Make(F).expr ->
  field:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_App_tuple_projection : super:Hax_engine__Ast.Make(F).expr ->
  size:Hax_engine.Prelude.int ->
  nth:Hax_engine.Prelude.int ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_Ascription : super:Hax_engine__Ast.Make(F).expr ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_Assign : super:Hax_engine__Ast.Make(F).expr ->
  lhs:
    Hax_engine__Ast.Make(F).lhs
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.mutable_variable ->
  PPrint.document

method expr'_Block : super:Hax_engine__Ast.Make(F).expr ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  safety_mode:
    Hax_engine__Ast.Make(F).safety_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.block ->
  PPrint.document

method expr'_Borrow : super:Hax_engine__Ast.Make(F).expr ->
  kind:
    Hax_engine__Ast.Make(F).borrow_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.reference ->
  PPrint.document

method expr'_Break : super:Hax_engine__Ast.Make(F).expr ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  acc:
    (Hax_engine__Ast.Make(F).expr
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * F.state_passing_loop)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  label:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
  witness:(F.break * F.loop) ->
  PPrint.document

method expr'_Closure : super:Hax_engine__Ast.Make(F).expr ->
  params:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  body:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  captures:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method expr'_Construct_inductive : super:Hax_engine__Ast.Make(F).expr ->
  constructor:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  is_record:Hax_engine.Prelude.bool ->
  is_struct:Hax_engine.Prelude.bool ->
  fields:
    (Hax_engine.Ast.global_ident
       Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).expr
         Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc)
      Hax_engine.Prelude.list ->
  base:
    (Hax_engine__Ast.Make(F).expr
       Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * F.construct_base)
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  PPrint.document

method expr'_Construct_tuple : super:Hax_engine__Ast.Make(F).expr ->
  components:
    Hax_engine__Ast.Make(F).expr
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method expr'_Continue : super:Hax_engine__Ast.Make(F).expr ->
  acc:
    (Hax_engine__Ast.Make(F).expr
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * F.state_passing_loop)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  label:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
  witness:(F.continue * F.loop) ->
  PPrint.document

method expr'_EffectAction : super:Hax_engine__Ast.Make(F).expr ->
  action:F.monadic_action ->
  argument:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_GlobalVar_concrete : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine.Ast.concrete_ident
    Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_GlobalVar_primitive : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine.Ast.primitive_ident ->
  PPrint.document

method expr'_If : super:Hax_engine__Ast.Make(F).expr ->
  cond:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  then_:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  else_:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  PPrint.document

method expr'_Let : super:Hax_engine__Ast.Make(F).expr ->
  monadic:
    (Hax_engine__Ast.Make(F).supported_monads
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * F.monadic_binding)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  lhs:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  rhs:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  body:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_Literal : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine.Ast.literal
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_LocalVar : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine.Ast.local_ident
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_Loop : super:Hax_engine__Ast.Make(F).expr ->
  body:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  kind:
    Hax_engine__Ast.Make(F).loop_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  state:
    Hax_engine__Ast.Make(F).loop_state
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  control_flow:
    (Hax_engine__Ast.Make(F).cf_kind
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * F.fold_like_loop)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  label:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
  witness:F.loop ->
  PPrint.document

method expr'_MacroInvokation : super:Hax_engine__Ast.Make(F).expr ->
  macro:Hax_engine.Ast.global_ident ->
  args:Hax_engine.Prelude.string ->
  witness:F.macro ->
  PPrint.document

method expr'_Match : super:Hax_engine__Ast.Make(F).expr ->
  scrutinee:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  arms:
    Hax_engine__Ast.Make(F).arm
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method expr'_QuestionMark : super:Hax_engine__Ast.Make(F).expr ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  return_typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.question_mark ->
  PPrint.document

method expr'_Quote : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine__Ast.Make(F).quote
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method expr'_Return : super:Hax_engine__Ast.Make(F).expr ->
  e:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.early_exit ->
  PPrint.document

method field_pat : field:Hax_engine.Ast.global_ident ->
  pat:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generic_constraint_GCLifetime : Hax_engine.Ast.todo ->
  F.lifetime ->
  PPrint.document

method generic_constraint_GCProjection : Hax_engine__Ast.Make(F).projection_predicate
                                           Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generic_constraint_GCType : Hax_engine__Ast.Make(F).impl_ident
                                     Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generic_param : ident:
                         Hax_engine.Ast.local_ident
                           Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  span:Hax_engine.Ast.span ->
  attrs:
    Hax_engine.Ast.attrs
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  kind:
    Hax_engine__Ast.Make(F).generic_param_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generic_param_kind_GPConst : typ:
                                      Hax_engine__Ast.Make(F).ty
                                        Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generic_param_kind_GPLifetime : witness:F.lifetime -> PPrint.document

method generic_param_kind_GPType : PPrint.document

method generic_value_GConst : Hax_engine__Ast.Make(F).expr
                                Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generic_value_GLifetime : lt:Hax_engine.Ast.todo ->
  witness:F.lifetime ->
  PPrint.document

method generic_value_GType : Hax_engine__Ast.Make(F).ty
                               Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method generics : params:
                    Hax_engine__Ast.Make(F).generic_param
                      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
                      Hax_engine.Prelude.list ->
  constraints:
    Hax_engine__Ast.Make(F).generic_constraint
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method guard : guard:
                 Hax_engine__Ast.Make(F).guard'
                   Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  span:Hax_engine.Ast.span ->
  PPrint.document

method guard'_IfLet : super:Hax_engine__Ast.Make(F).guard ->
  lhs:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  rhs:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.match_guard ->
  PPrint.document

method impl_expr : kind:
                     Hax_engine__Ast.Make(F).impl_expr_kind
                       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  goal:
    Hax_engine__Ast.Make(F).trait_goal
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method impl_expr_kind_Builtin : Hax_engine__Ast.Make(F).trait_goal
                                  Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method impl_expr_kind_Concrete : Hax_engine__Ast.Make(F).trait_goal
                                   Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method impl_expr_kind_Dyn : PPrint.document

method impl_expr_kind_ImplApp : impl:
                                  Hax_engine__Ast.Make(F).impl_expr
                                    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  args:
    Hax_engine__Ast.Make(F).impl_expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method impl_expr_kind_LocalBound : id:Hax_engine.Prelude.string ->
  PPrint.document

method impl_expr_kind_Parent : impl:
                                 Hax_engine__Ast.Make(F).impl_expr
                                   Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ident:
    Hax_engine__Ast.Make(F).impl_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method impl_expr_kind_Projection : impl:
                                     Hax_engine__Ast.Make(F).impl_expr
                                       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  item:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ident:
    Hax_engine__Ast.Make(F).impl_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method impl_expr_kind_Self : PPrint.document

method impl_ident : goal:
                      Hax_engine__Ast.Make(F).trait_goal
                        Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  name:Hax_engine.Prelude.string ->
  PPrint.document

method impl_item : ii_span:Hax_engine.Ast.span ->
  ii_generics:
    (Hax_engine__Ast.Make(F).generics
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_param
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list
     * Hax_engine__Ast.Make(F).generic_constraint
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ii_v:
    Hax_engine__Ast.Make(F).impl_item'
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ii_ident:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ii_attrs:
    Hax_engine.Ast.attrs
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method impl_item'_IIFn : body:
                           Hax_engine__Ast.Make(F).expr
                             Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  params:
    Hax_engine__Ast.Make(F).param
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method impl_item'_IIType : typ:
                             Hax_engine__Ast.Make(F).ty
                               Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  parent_bounds:
    (Hax_engine__Ast.Make(F).impl_expr
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).impl_ident
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc)
      Hax_engine.Prelude.list ->
  PPrint.document

method item : v:
                Hax_engine__Ast.Make(F).item'
                  Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  span:Hax_engine.Ast.span ->
  ident:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  attrs:
    Hax_engine.Ast.attrs
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_Alias : super:Hax_engine__Ast.Make(F).item ->
  name:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  item:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_Enum_Variant : name:
                              Hax_engine.Ast.concrete_ident
                                Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  arguments:
    (Hax_engine.Ast.concrete_ident
       Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).ty
         Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine.Ast.attrs
         Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc)
      Hax_engine.Prelude.list ->
  is_record:Hax_engine.Prelude.bool ->
  attrs:
    Hax_engine.Ast.attrs
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_Fn : super:Hax_engine__Ast.Make(F).item ->
  name:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    (Hax_engine__Ast.Make(F).generics
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_param
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list
     * Hax_engine__Ast.Make(F).generic_constraint
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  body:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  params:
    Hax_engine__Ast.Make(F).param
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  safety:
    Hax_engine__Ast.Make(F).safety_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_HaxError : super:Hax_engine__Ast.Make(F).item ->
  Hax_engine.Prelude.string ->
  PPrint.document

method item'_IMacroInvokation : super:Hax_engine__Ast.Make(F).item ->
  macro:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  argument:Hax_engine.Prelude.string ->
  span:Hax_engine.Ast.span ->
  witness:F.macro ->
  PPrint.document

method item'_Impl : super:Hax_engine__Ast.Make(F).item ->
  generics:
    (Hax_engine__Ast.Make(F).generics
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_param
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list
     * Hax_engine__Ast.Make(F).generic_constraint
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  self_ty:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  of_trait:
    (Hax_engine.Ast.concrete_ident
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_value
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  items:
    Hax_engine__Ast.Make(F).impl_item
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  parent_bounds:
    (Hax_engine__Ast.Make(F).impl_expr
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).impl_ident
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc)
      Hax_engine.Prelude.list ->
  safety:
    Hax_engine__Ast.Make(F).safety_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_NotImplementedYet : PPrint.document

method item'_Quote : super:Hax_engine__Ast.Make(F).item ->
  quote:
    Hax_engine__Ast.Make(F).quote
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  origin:Hax_engine.Ast.item_quote_origin ->
  PPrint.document

method item'_Trait : super:Hax_engine__Ast.Make(F).item ->
  name:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    (Hax_engine__Ast.Make(F).generics
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_param
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list
     * Hax_engine__Ast.Make(F).generic_constraint
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  items:
    Hax_engine__Ast.Make(F).trait_item
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  safety:
    Hax_engine__Ast.Make(F).safety_kind
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_TyAlias : super:Hax_engine__Ast.Make(F).item ->
  name:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    (Hax_engine__Ast.Make(F).generics
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_param
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list
     * Hax_engine__Ast.Make(F).generic_constraint
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ty:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method item'_Type_enum : super:Hax_engine__Ast.Make(F).item ->
  name:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    Hax_engine__Ast.Make(F).generics
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  variants:
    Hax_engine__Ast.Make(F).variant
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method item'_Type_struct : super:Hax_engine__Ast.Make(F).item ->
  name:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    Hax_engine__Ast.Make(F).generics
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  tuple_struct:Hax_engine.Prelude.bool ->
  arguments:
    (Hax_engine.Ast.concrete_ident
       Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).ty
         Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine.Ast.attr Hax_engine.Prelude.list
         Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc)
      Hax_engine.Prelude.list ->
  PPrint.document

method item'_Use : super:Hax_engine__Ast.Make(F).item ->
  path:Hax_engine.Prelude.string Hax_engine.Prelude.list ->
  is_external:Hax_engine.Prelude.bool ->
  rename:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
  PPrint.document

method lhs_LhsArbitraryExpr : e:
                                Hax_engine__Ast.Make(F).expr
                                  Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.arbitrary_lhs ->
  PPrint.document

method lhs_LhsArrayAccessor : e:
                                Hax_engine__Ast.Make(F).lhs
                                  Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  index:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.nontrivial_lhs ->
  PPrint.document

method lhs_LhsFieldAccessor_field : e:
                                      Hax_engine__Ast.Make(F).lhs
                                        Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  field:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.nontrivial_lhs ->
  PPrint.document

method lhs_LhsFieldAccessor_tuple : e:
                                      Hax_engine__Ast.Make(F).lhs
                                        Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  nth:Hax_engine.Prelude.int ->
  size:Hax_engine.Prelude.int ->
  witness:F.nontrivial_lhs ->
  PPrint.document

method lhs_LhsLocalVar : var:Hax_engine.Local_ident.t ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method literal_Bool : Hax_engine.Prelude.bool -> PPrint.document

method literal_Char : Hax_engine.Prelude.char -> PPrint.document

method literal_Float : value:Hax_engine.Prelude.string ->
  negative:Hax_engine.Prelude.bool ->
  kind:Hax_engine.Ast.float_kind ->
  PPrint.document

method literal_Int : value:Hax_engine.Prelude.string ->
  negative:Hax_engine.Prelude.bool ->
  kind:Hax_engine.Ast.int_kind ->
  PPrint.document

method literal_String : Hax_engine.Prelude.string -> PPrint.document

method loop_kind_ForIndexLoop : start:
                                  Hax_engine__Ast.Make(F).expr
                                    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  end_:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  var:
    Hax_engine.Ast.local_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  var_typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.for_index_loop ->
  PPrint.document

method loop_kind_ForLoop : pat:
                             Hax_engine__Ast.Make(F).pat
                               Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  it:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.for_loop ->
  PPrint.document

method loop_kind_UnconditionalLoop : PPrint.document

method loop_kind_WhileLoop : condition:
                               Hax_engine__Ast.Make(F).expr
                                 Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.while_loop ->
  PPrint.document

method loop_state : init:
                      Hax_engine__Ast.Make(F).expr
                        Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  bpat:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.state_passing_loop ->
  PPrint.document

method modul : Hax_engine__Ast.Make(F).item
                 Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
                 Hax_engine.Prelude.list ->
  PPrint.document

method param : pat:
                 Hax_engine__Ast.Make(F).pat
                   Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ_span:Hax_engine.Ast.span Hax_engine.Prelude.option ->
  attrs:
    Hax_engine.Ast.attrs
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method pat : p:
               Hax_engine__Ast.Make(F).pat'
                 Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  span:Hax_engine.Ast.span ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method pat'_PAscription : super:Hax_engine__Ast.Make(F).pat ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ_span:Hax_engine.Ast.span ->
  pat:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method pat'_PBinding : super:Hax_engine__Ast.Make(F).pat ->
  mut:F.mutable_variable Hax_engine.Ast.mutability ->
  mode:
    Hax_engine__Ast.Make(F).binding_mode
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  var:
    Hax_engine.Ast.local_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  subpat:
    (Hax_engine__Ast.Make(F).pat
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * F.as_pattern)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.option ->
  PPrint.document

method pat'_PConstant : super:Hax_engine__Ast.Make(F).pat ->
  lit:
    Hax_engine.Ast.literal
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method pat'_PConstruct_inductive : super:Hax_engine__Ast.Make(F).pat ->
  constructor:
    Hax_engine.Ast.concrete_ident
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  is_record:Hax_engine.Prelude.bool ->
  is_struct:Hax_engine.Prelude.bool ->
  fields:
    (Hax_engine.Ast.global_ident
       Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).pat
         Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc)
      Hax_engine.Prelude.list ->
  PPrint.document

method pat'_PConstruct_tuple : super:Hax_engine__Ast.Make(F).pat ->
  components:
    Hax_engine__Ast.Make(F).pat
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method pat'_PDeref : super:Hax_engine__Ast.Make(F).pat ->
  subpat:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.reference ->
  PPrint.document

method pat'_PWild : PPrint.document

method printer_name : Hax_engine.Prelude.string

method projection_predicate : impl:
                                Hax_engine__Ast.Make(F).impl_expr
                                  Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  assoc_item:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method safety_kind_Safe : PPrint.document

method safety_kind_Unsafe : F.unsafe -> PPrint.document

method supported_monads_MException : Hax_engine__Ast.Make(F).ty
                                       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method supported_monads_MOption : PPrint.document

method supported_monads_MResult : Hax_engine__Ast.Make(F).ty
                                    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method trait_goal : trait:
                      Hax_engine.Ast.concrete_ident
                        Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  args:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method trait_item : ti_span:Hax_engine.Ast.span ->
  ti_generics:
    (Hax_engine__Ast.Make(F).generics
       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
     * Hax_engine__Ast.Make(F).generic_param
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list
     * Hax_engine__Ast.Make(F).generic_constraint
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
         Hax_engine.Prelude.list)
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ti_v:
    Hax_engine__Ast.Make(F).trait_item'
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ti_ident:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  ti_attrs:
    Hax_engine.Ast.attrs
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method trait_item'_TIDefault : params:
                                 Hax_engine__Ast.Make(F).param
                                   Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
                                   Hax_engine.Prelude.list ->
  body:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  witness:F.trait_item_default ->
  PPrint.document

method trait_item'_TIFn : Hax_engine__Ast.Make(F).ty
                            Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method trait_item'_TIType : Hax_engine__Ast.Make(F).impl_ident
                              Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
                              Hax_engine.Prelude.list ->
  PPrint.document

method ty_TApp_application : typ:
                               Hax_engine.Ast.concrete_ident
                                 Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc ->
  generics:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine.Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method ty_TApp_tuple : types:Hax_engine__Ast.Make(F).ty Hax_engine.Prelude.list ->
  PPrint.document

method ty_TArray : typ:
                     Hax_engine__Ast.Make(F).ty
                       Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  length:
    Hax_engine__Ast.Make(F).expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method ty_TArrow : Hax_engine__Ast.Make(F).ty
                     Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
                     Hax_engine.Prelude.list ->
  Hax_engine__Ast.Make(F).ty
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method ty_TAssociatedType : impl:
                              Hax_engine__Ast.Make(F).impl_expr
                                Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  item:
    Hax_engine.Ast.concrete_ident
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method ty_TBool : PPrint.document

method ty_TChar : PPrint.document

method ty_TDyn : witness:F.dyn ->
  goals:
    Hax_engine__Ast.Make(F).dyn_trait_goal
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method ty_TFloat : Hax_engine.Ast.float_kind -> PPrint.document

method ty_TInt : Hax_engine.Ast.int_kind -> PPrint.document

method ty_TOpaque : Hax_engine.Ast.concrete_ident
                      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method ty_TParam : Hax_engine.Ast.local_ident
                     Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method ty_TRawPointer : witness:F.raw_pointer -> PPrint.document

method ty_TRef : witness:F.reference ->
  region:Hax_engine.Ast.todo ->
  typ:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  mut:F.mutable_reference Hax_engine.Ast.mutability ->
  PPrint.document

method ty_TSlice : witness:F.slice ->
  ty:
    Hax_engine__Ast.Make(F).ty
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

method ty_TStr : PPrint.document