base (hax-engine.Hax_engine.Generic_printer_template.Make.Base.Gen.base)

method _do_not_override_expr'_App : 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 ->
  generic_args:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  bounds_impls:
    Hax_engine__Ast.Make(F).impl_expr
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  trait:
    (Hax_engine__Ast.Make(F).impl_expr
       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
      Hax_engine.Prelude.option ->
  PPrint.document

method _do_not_override_expr'_Construct : super:Hax_engine__Ast.Make(F).expr ->
  constructor:Hax_engine.Ast.global_ident ->
  is_record:Hax_engine.Prelude.bool ->
  is_struct:Hax_engine.Prelude.bool ->
  fields:
    (Hax_engine.Ast.global_ident
     * Hax_engine__Ast.Make(F).expr
         Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc)
      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 _do_not_override_expr'_GlobalVar : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine.Ast.global_ident ->
  PPrint.document

method _do_not_override_item'_Type : 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 ->
  variants:
    Hax_engine__Ast.Make(F).variant
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  is_struct:Hax_engine.Prelude.bool ->
  PPrint.document

method _do_not_override_lazy_of_arm : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).arm ->
  Hax_engine__Ast.Make(F).arm
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_arm' : super:Hax_engine__Ast.Make(F).arm ->
  Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).arm' ->
  Hax_engine__Ast.Make(F).arm'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_attrs : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine.Ast.attrs ->
  Hax_engine.Ast.attrs
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_binding_mode : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).binding_mode ->
  Hax_engine__Ast.Make(F).binding_mode
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_borrow_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).borrow_kind ->
  Hax_engine__Ast.Make(F).borrow_kind
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_cf_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).cf_kind ->
  Hax_engine__Ast.Make(F).cf_kind
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_concrete_ident : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.concrete_ident ->
  Hax_engine.Ast.concrete_ident
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_dyn_trait_goal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).dyn_trait_goal ->
  Hax_engine__Ast.Make(F).dyn_trait_goal
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_expr : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).expr ->
  Hax_engine__Ast.Make(F).expr
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_expr' : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).expr' ->
  Hax_engine__Ast.Make(F).expr'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_field_pat : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).field_pat ->
  Hax_engine__Ast.Make(F).field_pat
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_generic_constraint : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_constraint ->
  Hax_engine__Ast.Make(F).generic_constraint
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_generic_param : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_param ->
  Hax_engine__Ast.Make(F).generic_param
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_generic_param_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_param_kind ->
  Hax_engine__Ast.Make(F).generic_param_kind
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_generic_value : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_value ->
  Hax_engine__Ast.Make(F).generic_value
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_guard : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).guard ->
  Hax_engine__Ast.Make(F).guard
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_guard' : super:Hax_engine__Ast.Make(F).guard ->
  Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).guard' ->
  Hax_engine__Ast.Make(F).guard'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_impl_expr : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_expr ->
  Hax_engine__Ast.Make(F).impl_expr
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_impl_expr_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_expr_kind ->
  Hax_engine__Ast.Make(F).impl_expr_kind
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_impl_ident : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_ident ->
  Hax_engine__Ast.Make(F).impl_ident
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_impl_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_item ->
  Hax_engine__Ast.Make(F).impl_item
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_impl_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_item' ->
  Hax_engine__Ast.Make(F).impl_item'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item ->
  Hax_engine__Ast.Make(F).item
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_item' : super:Hax_engine__Ast.Make(F).item ->
  Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item' ->
  Hax_engine__Ast.Make(F).item'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_lhs : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).lhs ->
  Hax_engine__Ast.Make(F).lhs
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_literal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine.Ast.literal ->
  Hax_engine.Ast.literal
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_local_ident : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.local_ident ->
  Hax_engine.Ast.local_ident
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_loop_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).loop_kind ->
  Hax_engine__Ast.Make(F).loop_kind
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_loop_state : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).loop_state ->
  Hax_engine__Ast.Make(F).loop_state
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_modul : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list ->
  Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_param : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).param ->
  Hax_engine__Ast.Make(F).param
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_pat : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).pat ->
  Hax_engine__Ast.Make(F).pat
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_pat' : super:Hax_engine__Ast.Make(F).pat ->
  Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).pat' ->
  Hax_engine__Ast.Make(F).pat'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_projection_predicate : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).projection_predicate ->
  Hax_engine__Ast.Make(F).projection_predicate
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_quote : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).quote ->
  Hax_engine__Ast.Make(F).quote
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_quote_content : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).quote_content ->
  Hax_engine__Ast.Make(F).quote_content
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_safety_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).safety_kind ->
  Hax_engine__Ast.Make(F).safety_kind
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_supported_monads : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).supported_monads ->
  Hax_engine__Ast.Make(F).supported_monads
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_trait_goal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_goal ->
  Hax_engine__Ast.Make(F).trait_goal
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_trait_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_item ->
  Hax_engine__Ast.Make(F).trait_item
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_trait_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_item' ->
  Hax_engine__Ast.Make(F).trait_item'
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_ty : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).ty ->
  Hax_engine__Ast.Make(F).ty
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lazy_of_variant : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).variant ->
  Hax_engine__Ast.Make(F).variant
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc

method _do_not_override_lhs_LhsFieldAccessor : 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.global_ident ->
  witness:F.nontrivial_lhs ->
  PPrint.document

method _do_not_override_pat'_PConstruct : super:Hax_engine__Ast.Make(F).pat ->
  constructor:Hax_engine.Ast.global_ident ->
  is_record:Hax_engine.Prelude.bool ->
  is_struct:Hax_engine.Prelude.bool ->
  fields:
    Hax_engine__Ast.Make(F).field_pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method _do_not_override_ty_TApp : ident:Hax_engine.Ast.global_ident ->
  args:
    Hax_engine__Ast.Make(F).generic_value
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method _do_not_override_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 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 borrow_kind_Mut : F.mutable_reference -> PPrint.document

method catch_exn : (Hax_engine.Prelude.string -> PPrint.document) ->
  (Hax_engine.Prelude.unit -> PPrint.document) ->
  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 entrypoint_arm : Hax_engine__Ast.Make(F).arm -> PPrint.document

method entrypoint_attrs : Hax_engine.Ast.attrs -> PPrint.document

method entrypoint_binding_mode : Hax_engine__Ast.Make(F).binding_mode ->
  PPrint.document

method entrypoint_borrow_kind : Hax_engine__Ast.Make(F).borrow_kind ->
  PPrint.document

method entrypoint_cf_kind : Hax_engine__Ast.Make(F).cf_kind -> PPrint.document

method entrypoint_dyn_trait_goal : Hax_engine__Ast.Make(F).dyn_trait_goal ->
  PPrint.document

method entrypoint_expr : Hax_engine__Ast.Make(F).expr -> PPrint.document

method entrypoint_field_pat : Hax_engine__Ast.Make(F).field_pat ->
  PPrint.document

method entrypoint_generic_constraint : Hax_engine__Ast.Make(F).generic_constraint ->
  PPrint.document

method entrypoint_generic_param : Hax_engine__Ast.Make(F).generic_param ->
  PPrint.document

method entrypoint_generic_param_kind : Hax_engine__Ast.Make(F).generic_param_kind ->
  PPrint.document

method entrypoint_generic_value : Hax_engine__Ast.Make(F).generic_value ->
  PPrint.document

method entrypoint_generics : Hax_engine__Ast.Make(F).generics ->
  PPrint.document

method entrypoint_guard : Hax_engine__Ast.Make(F).guard -> PPrint.document

method entrypoint_impl_expr : Hax_engine__Ast.Make(F).impl_expr ->
  PPrint.document

method entrypoint_impl_expr_kind : Hax_engine__Ast.Make(F).impl_expr_kind ->
  PPrint.document

method entrypoint_impl_ident : Hax_engine__Ast.Make(F).impl_ident ->
  PPrint.document

method entrypoint_impl_item : Hax_engine__Ast.Make(F).impl_item ->
  PPrint.document

method entrypoint_impl_item' : Hax_engine__Ast.Make(F).impl_item' ->
  PPrint.document

method entrypoint_item : Hax_engine__Ast.Make(F).item -> PPrint.document

method entrypoint_lhs : Hax_engine__Ast.Make(F).lhs -> PPrint.document

method entrypoint_literal : Hax_engine.Ast.literal -> PPrint.document

method entrypoint_loop_kind : Hax_engine__Ast.Make(F).loop_kind ->
  PPrint.document

method entrypoint_loop_state : Hax_engine__Ast.Make(F).loop_state ->
  PPrint.document

method entrypoint_modul : Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list ->
  PPrint.document

method entrypoint_param : Hax_engine__Ast.Make(F).param -> PPrint.document

method entrypoint_pat : Hax_engine__Ast.Make(F).pat -> PPrint.document

method entrypoint_projection_predicate : Hax_engine__Ast.Make(F).projection_predicate ->
  PPrint.document

method entrypoint_quote : Hax_engine__Ast.Make(F).quote -> PPrint.document

method entrypoint_quote_content : Hax_engine__Ast.Make(F).quote_content ->
  PPrint.document

method entrypoint_safety_kind : Hax_engine__Ast.Make(F).safety_kind ->
  PPrint.document

method entrypoint_supported_monads : Hax_engine__Ast.Make(F).supported_monads ->
  PPrint.document

method entrypoint_trait_goal : Hax_engine__Ast.Make(F).trait_goal ->
  PPrint.document

method entrypoint_trait_item : Hax_engine__Ast.Make(F).trait_item ->
  PPrint.document

method entrypoint_trait_item' : Hax_engine__Ast.Make(F).trait_item' ->
  PPrint.document

method entrypoint_ty : Hax_engine__Ast.Make(F).ty -> PPrint.document

method entrypoint_variant : Hax_engine__Ast.Make(F).variant -> 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'_Array : super:Hax_engine__Ast.Make(F).expr ->
  Hax_engine__Ast.Make(F).expr
    Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
    Hax_engine.Prelude.list ->
  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'_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'_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_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_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_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'_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'_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'_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_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_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'_PArray : super:Hax_engine__Ast.Make(F).pat ->
  args:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  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'_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'_POr : super:Hax_engine__Ast.Make(F).pat ->
  subpats:
    Hax_engine__Ast.Make(F).pat
      Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
      Hax_engine.Prelude.list ->
  PPrint.document

method print_arm : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).arm ->
  PPrint.document

method print_attrs : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine.Ast.attrs ->
  PPrint.document

method print_binding_mode : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).binding_mode ->
  PPrint.document

method print_borrow_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).borrow_kind ->
  PPrint.document

method print_cf_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).cf_kind ->
  PPrint.document

method print_dyn_trait_goal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).dyn_trait_goal ->
  PPrint.document

method print_expr : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).expr ->
  PPrint.document

method print_field_pat : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).field_pat ->
  PPrint.document

method print_generic_constraint : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_constraint ->
  PPrint.document

method print_generic_param : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_param ->
  PPrint.document

method print_generic_param_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_param_kind ->
  PPrint.document

method print_generic_value : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_value ->
  PPrint.document

method print_generics : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generics ->
  PPrint.document

method print_guard : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).guard ->
  PPrint.document

method print_impl_expr : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_expr ->
  PPrint.document

method print_impl_expr_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_expr_kind ->
  PPrint.document

method print_impl_ident : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_ident ->
  PPrint.document

method print_impl_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_item ->
  PPrint.document

method print_impl_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_item' ->
  PPrint.document

method print_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item ->
  PPrint.document

method print_lhs : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).lhs ->
  PPrint.document

method print_literal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine.Ast.literal ->
  PPrint.document

method print_loop_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).loop_kind ->
  PPrint.document

method print_loop_state : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).loop_state ->
  PPrint.document

method print_modul : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list ->
  PPrint.document

method print_param : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).param ->
  PPrint.document

method print_pat : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).pat ->
  PPrint.document

method print_projection_predicate : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).projection_predicate ->
  PPrint.document

method print_quote : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).quote ->
  PPrint.document

method print_quote_content : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).quote_content ->
  PPrint.document

method print_safety_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).safety_kind ->
  PPrint.document

method print_supported_monads : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).supported_monads ->
  PPrint.document

method print_trait_goal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_goal ->
  PPrint.document

method print_trait_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_item ->
  PPrint.document

method print_trait_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_item' ->
  PPrint.document

method print_ty : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).ty ->
  PPrint.document

method print_variant : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).variant ->
  PPrint.document

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 quote : contents:
                 Hax_engine__Ast.Make(F).quote_content
                   Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc
                   Hax_engine.Prelude.list ->
  witness:F.quote ->
  PPrint.document

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

method quote_content_Pattern : Hax_engine__Ast.Make(F).pat
                                 Hax_engine__Generated_generic_printer_base.LazyDoc.lazy_doc ->
  PPrint.document

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

method quote_content_Verbatim : Hax_engine.Prelude.string -> 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_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_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_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 with_span : span:Hax_engine.Ast.span ->
  (Hax_engine.Prelude.unit -> PPrint.document) ->
  PPrint.document

method wrap_arm : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).arm ->
  PPrint.document ->
  PPrint.document

method wrap_arm' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).arm' ->
  PPrint.document ->
  PPrint.document

method wrap_attrs : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine.Ast.attrs ->
  PPrint.document ->
  PPrint.document

method wrap_binding_mode : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).binding_mode ->
  PPrint.document ->
  PPrint.document

method wrap_borrow_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).borrow_kind ->
  PPrint.document ->
  PPrint.document

method wrap_cf_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).cf_kind ->
  PPrint.document ->
  PPrint.document

method wrap_dyn_trait_goal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).dyn_trait_goal ->
  PPrint.document ->
  PPrint.document

method wrap_expr : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).expr ->
  PPrint.document ->
  PPrint.document

method wrap_expr' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).expr' ->
  PPrint.document ->
  PPrint.document

method wrap_field_pat : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).field_pat ->
  PPrint.document ->
  PPrint.document

method wrap_generic_constraint : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_constraint ->
  PPrint.document ->
  PPrint.document

method wrap_generic_param : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_param ->
  PPrint.document ->
  PPrint.document

method wrap_generic_param_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_param_kind ->
  PPrint.document ->
  PPrint.document

method wrap_generic_value : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generic_value ->
  PPrint.document ->
  PPrint.document

method wrap_generics : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).generics ->
  PPrint.document ->
  PPrint.document

method wrap_guard : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).guard ->
  PPrint.document ->
  PPrint.document

method wrap_guard' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).guard' ->
  PPrint.document ->
  PPrint.document

method wrap_impl_expr : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_expr ->
  PPrint.document ->
  PPrint.document

method wrap_impl_expr_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_expr_kind ->
  PPrint.document ->
  PPrint.document

method wrap_impl_ident : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_ident ->
  PPrint.document ->
  PPrint.document

method wrap_impl_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_item ->
  PPrint.document ->
  PPrint.document

method wrap_impl_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).impl_item' ->
  PPrint.document ->
  PPrint.document

method wrap_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item ->
  PPrint.document ->
  PPrint.document

method wrap_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item' ->
  PPrint.document ->
  PPrint.document

method wrap_lhs : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).lhs ->
  PPrint.document ->
  PPrint.document

method wrap_literal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine.Ast.literal ->
  PPrint.document ->
  PPrint.document

method wrap_loop_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).loop_kind ->
  PPrint.document ->
  PPrint.document

method wrap_loop_state : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).loop_state ->
  PPrint.document ->
  PPrint.document

method wrap_modul : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list ->
  PPrint.document ->
  PPrint.document

method wrap_param : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).param ->
  PPrint.document ->
  PPrint.document

method wrap_pat : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).pat ->
  PPrint.document ->
  PPrint.document

method wrap_pat' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).pat' ->
  PPrint.document ->
  PPrint.document

method wrap_projection_predicate : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).projection_predicate ->
  PPrint.document ->
  PPrint.document

method wrap_quote : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).quote ->
  PPrint.document ->
  PPrint.document

method wrap_quote_content : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).quote_content ->
  PPrint.document ->
  PPrint.document

method wrap_safety_kind : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).safety_kind ->
  PPrint.document ->
  PPrint.document

method wrap_supported_monads : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).supported_monads ->
  PPrint.document ->
  PPrint.document

method wrap_trait_goal : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_goal ->
  PPrint.document ->
  PPrint.document

method wrap_trait_item : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_item ->
  PPrint.document ->
  PPrint.document

method wrap_trait_item' : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).trait_item' ->
  PPrint.document ->
  PPrint.document

method wrap_ty : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).ty ->
  PPrint.document ->
  PPrint.document

method wrap_variant : Hax_engine__Generated_generic_printer_base.ast_position ->
  Hax_engine__Ast.Make(F).variant ->
  PPrint.document ->
  PPrint.document