Make.basemethod virtual with_span : span:Hax_engine.Ast.span ->
(Hax_engine.Prelude.unit -> PPrint.document) ->
PPrint.documentmethod virtual catch_exn : (Hax_engine.Prelude.string -> PPrint.document) ->
(Hax_engine.Prelude.unit -> PPrint.document) ->
PPrint.documentmethod virtual _do_not_override_lazy_of_local_ident : ast_position ->
Hax_engine__Ast.local_ident ->
Hax_engine.Ast.local_ident LazyDoc.lazy_docmethod virtual _do_not_override_lazy_of_concrete_ident : ast_position ->
Hax_engine__Ast.concrete_ident ->
Hax_engine.Ast.concrete_ident LazyDoc.lazy_docmethod print_attrs : ast_position -> Hax_engine.Ast.attrs -> PPrint.documentmethod entrypoint_attrs : Hax_engine.Ast.attrs -> PPrint.documentmethod wrap_attrs : ast_position ->
Hax_engine.Ast.attrs ->
PPrint.document ->
PPrint.documentmethod virtual attrs : Hax_engine.Ast.attr Hax_engine.Prelude.list ->
PPrint.documentmethod print_literal : ast_position ->
Hax_engine.Ast.literal ->
PPrint.documentmethod entrypoint_literal : Hax_engine.Ast.literal -> PPrint.documentmethod wrap_literal : ast_position ->
Hax_engine.Ast.literal ->
PPrint.document ->
PPrint.documentmethod virtual literal_Bool : Hax_engine.Prelude.bool -> PPrint.documentmethod virtual literal_Float : value:Hax_engine.Prelude.string ->
negative:Hax_engine.Prelude.bool ->
kind:Hax_engine.Ast.float_kind ->
PPrint.documentmethod virtual literal_Int : value:Hax_engine.Prelude.string ->
negative:Hax_engine.Prelude.bool ->
kind:Hax_engine.Ast.int_kind ->
PPrint.documentmethod virtual literal_Char : Hax_engine.Prelude.char -> PPrint.documentmethod virtual literal_String : Hax_engine.Prelude.string -> PPrint.documentmethod print_safety_kind : ast_position -> {safety_kind}1 -> PPrint.documentmethod wrap_safety_kind : ast_position ->
{safety_kind}1 ->
PPrint.document ->
PPrint.documentmethod virtual safety_kind_Unsafe : F.unsafe -> PPrint.documentmethod print_borrow_kind : ast_position -> {borrow_kind}12 -> PPrint.documentmethod wrap_borrow_kind : ast_position ->
{borrow_kind}12 ->
PPrint.document ->
PPrint.documentmethod virtual borrow_kind_Mut : F.mutable_reference -> PPrint.documentmethod print_binding_mode : ast_position -> {binding_mode}23 -> PPrint.documentmethod wrap_binding_mode : ast_position ->
{binding_mode}23 ->
PPrint.document ->
PPrint.documentmethod virtual binding_mode_ByRef : {borrow_kind}12 LazyDoc.lazy_doc ->
F.reference ->
PPrint.documentmethod print_ty : ast_position -> {ty}34 -> PPrint.documentmethod wrap_ty : ast_position -> {ty}34 -> PPrint.document -> PPrint.documentmethod virtual ty_TDyn : witness:F.dyn ->
goals:{dyn_trait_goal}39 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual ty_TOpaque : Hax_engine.Ast.concrete_ident LazyDoc.lazy_doc ->
PPrint.documentmethod virtual ty_TAssociatedType : impl:{impl_expr}36 LazyDoc.lazy_doc ->
item:Hax_engine.Ast.concrete_ident LazyDoc.lazy_doc ->
PPrint.documentmethod virtual ty_TArrow : {ty}34 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual ty_TParam : Hax_engine.Ast.local_ident LazyDoc.lazy_doc ->
PPrint.documentmethod virtual ty_TRef : witness:F.reference ->
region:Hax_engine.Ast.todo ->
typ:{ty}34 LazyDoc.lazy_doc ->
mut:F.mutable_reference Hax_engine.Ast.mutability ->
PPrint.documentmethod virtual ty_TRawPointer : witness:F.raw_pointer -> PPrint.documentmethod virtual ty_TSlice : witness:F.slice ->
ty:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual ty_TArray : typ:{ty}34 LazyDoc.lazy_doc ->
length:{expr}47 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual _do_not_override_ty_TApp : ident:Hax_engine.Ast.global_ident ->
args:{generic_value}35 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual ty_TFloat : Hax_engine.Ast.float_kind -> PPrint.documentmethod virtual ty_TInt : Hax_engine.Ast.int_kind -> PPrint.documentmethod print_generic_value : ast_position ->
{generic_value}35 ->
PPrint.documentmethod wrap_generic_value : ast_position ->
{generic_value}35 ->
PPrint.document ->
PPrint.documentmethod virtual generic_value_GConst : {expr}47 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual generic_value_GType : {ty}34 LazyDoc.lazy_doc -> PPrint.documentmethod virtual generic_value_GLifetime : lt:Hax_engine.Ast.todo ->
witness:F.lifetime ->
PPrint.documentmethod print_impl_expr : ast_position -> {impl_expr}36 -> PPrint.documentmethod wrap_impl_expr : ast_position ->
{impl_expr}36 ->
PPrint.document ->
PPrint.documentmethod virtual impl_expr : kind:{impl_expr_kind}37 LazyDoc.lazy_doc ->
goal:{trait_goal}38 LazyDoc.lazy_doc ->
PPrint.documentmethod print_impl_expr_kind : ast_position ->
{impl_expr_kind}37 ->
PPrint.documentmethod wrap_impl_expr_kind : ast_position ->
{impl_expr_kind}37 ->
PPrint.document ->
PPrint.documentmethod virtual impl_expr_kind_Builtin : {trait_goal}38 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual impl_expr_kind_ImplApp : impl:{impl_expr}36 LazyDoc.lazy_doc ->
args:{impl_expr}36 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual impl_expr_kind_Projection : impl:{impl_expr}36 LazyDoc.lazy_doc ->
item:Hax_engine.Ast.concrete_ident LazyDoc.lazy_doc ->
ident:{impl_ident}40 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual impl_expr_kind_Parent : impl:{impl_expr}36 LazyDoc.lazy_doc ->
ident:{impl_ident}40 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual impl_expr_kind_LocalBound : id:Hax_engine.Prelude.string ->
PPrint.documentmethod virtual impl_expr_kind_Concrete : {trait_goal}38 LazyDoc.lazy_doc ->
PPrint.documentmethod print_trait_goal : ast_position -> {trait_goal}38 -> PPrint.documentmethod wrap_trait_goal : ast_position ->
{trait_goal}38 ->
PPrint.document ->
PPrint.documentmethod virtual trait_goal : trait:
Hax_engine.Ast.concrete_ident LazyDoc.lazy_doc ->
args:{generic_value}35 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod print_dyn_trait_goal : ast_position ->
{dyn_trait_goal}39 ->
PPrint.documentmethod wrap_dyn_trait_goal : ast_position ->
{dyn_trait_goal}39 ->
PPrint.document ->
PPrint.documentmethod virtual dyn_trait_goal : trait:
Hax_engine.Ast.concrete_ident
LazyDoc.lazy_doc ->
non_self_args:{generic_value}35 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod print_impl_ident : ast_position -> {impl_ident}40 -> PPrint.documentmethod wrap_impl_ident : ast_position ->
{impl_ident}40 ->
PPrint.document ->
PPrint.documentmethod virtual impl_ident : goal:{trait_goal}38 LazyDoc.lazy_doc ->
name:Hax_engine.Prelude.string ->
PPrint.documentmethod print_projection_predicate : ast_position ->
{projection_predicate}41 ->
PPrint.documentmethod wrap_projection_predicate : ast_position ->
{projection_predicate}41 ->
PPrint.document ->
PPrint.documentmethod virtual projection_predicate : impl:{impl_expr}36 LazyDoc.lazy_doc ->
assoc_item:Hax_engine.Ast.concrete_ident LazyDoc.lazy_doc ->
typ:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod wrap_pat' : ast_position ->
{pat'}42 ->
PPrint.document ->
PPrint.documentmethod virtual pat'_PBinding : super:{pat}43 ->
mut:F.mutable_variable Hax_engine.Ast.mutability ->
mode:{binding_mode}23 LazyDoc.lazy_doc ->
var:Hax_engine.Ast.local_ident LazyDoc.lazy_doc ->
typ:{ty}34 LazyDoc.lazy_doc ->
subpat:
({pat}43 LazyDoc.lazy_doc * F.as_pattern) LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
PPrint.documentmethod virtual pat'_PConstant : super:{pat}43 ->
lit:Hax_engine.Ast.literal LazyDoc.lazy_doc ->
PPrint.documentmethod virtual pat'_PDeref : super:{pat}43 ->
subpat:{pat}43 LazyDoc.lazy_doc ->
witness:F.reference ->
PPrint.documentmethod virtual pat'_PArray : super:{pat}43 ->
args:{pat}43 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual pat'_POr : super:{pat}43 ->
subpats:{pat}43 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual _do_not_override_pat'_PConstruct : super:{pat}43 ->
constructor:Hax_engine.Ast.global_ident ->
is_record:Hax_engine.Prelude.bool ->
is_struct:Hax_engine.Prelude.bool ->
fields:{field_pat}44 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual pat'_PAscription : super:{pat}43 ->
typ:{ty}34 LazyDoc.lazy_doc ->
typ_span:Hax_engine.Ast.span ->
pat:{pat}43 LazyDoc.lazy_doc ->
PPrint.documentmethod print_pat : ast_position -> {pat}43 -> PPrint.documentmethod wrap_pat : ast_position -> {pat}43 -> PPrint.document -> PPrint.documentmethod virtual pat : p:{pat'}42 LazyDoc.lazy_doc ->
span:Hax_engine.Ast.span ->
typ:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod print_field_pat : ast_position -> {field_pat}44 -> PPrint.documentmethod wrap_field_pat : ast_position ->
{field_pat}44 ->
PPrint.document ->
PPrint.documentmethod virtual field_pat : field:Hax_engine.Ast.global_ident ->
pat:{pat}43 LazyDoc.lazy_doc ->
PPrint.documentmethod print_cf_kind : ast_position -> {cf_kind}45 -> PPrint.documentmethod wrap_cf_kind : ast_position ->
{cf_kind}45 ->
PPrint.document ->
PPrint.documentmethod wrap_expr' : ast_position ->
{expr'}46 ->
PPrint.document ->
PPrint.documentmethod virtual expr'_Quote : super:{expr}47 ->
{quote}48 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual expr'_EffectAction : super:{expr}47 ->
action:F.monadic_action ->
argument:{expr}47 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual expr'_Closure : super:{expr}47 ->
params:{pat}43 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
body:{expr}47 LazyDoc.lazy_doc ->
captures:{expr}47 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual expr'_AddressOf : super:{expr}47 ->
mut:F.mutable_pointer Hax_engine.Ast.mutability ->
e:{expr}47 LazyDoc.lazy_doc ->
witness:F.raw_pointer ->
PPrint.documentmethod virtual expr'_Borrow : super:{expr}47 ->
kind:{borrow_kind}12 LazyDoc.lazy_doc ->
e:{expr}47 LazyDoc.lazy_doc ->
witness:F.reference ->
PPrint.documentmethod virtual expr'_Continue : super:{expr}47 ->
acc:
({expr}47 LazyDoc.lazy_doc * F.state_passing_loop) LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
label:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
witness:(F.continue * F.loop) ->
PPrint.documentmethod virtual expr'_QuestionMark : super:{expr}47 ->
e:{expr}47 LazyDoc.lazy_doc ->
return_typ:{ty}34 LazyDoc.lazy_doc ->
witness:F.question_mark ->
PPrint.documentmethod virtual expr'_Return : super:{expr}47 ->
e:{expr}47 LazyDoc.lazy_doc ->
witness:F.early_exit ->
PPrint.documentmethod virtual expr'_Break : super:{expr}47 ->
e:{expr}47 LazyDoc.lazy_doc ->
acc:
({expr}47 LazyDoc.lazy_doc * F.state_passing_loop) LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
label:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
witness:(F.break * F.loop) ->
PPrint.documentmethod virtual expr'_Loop : super:{expr}47 ->
body:{expr}47 LazyDoc.lazy_doc ->
kind:{loop_kind}51 LazyDoc.lazy_doc ->
state:{loop_state}52 LazyDoc.lazy_doc Hax_engine.Prelude.option ->
control_flow:
({cf_kind}45 LazyDoc.lazy_doc * F.fold_like_loop) LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
label:Hax_engine.Prelude.string Hax_engine.Prelude.option ->
witness:F.loop ->
PPrint.documentmethod virtual expr'_Assign : super:{expr}47 ->
lhs:{lhs}53 LazyDoc.lazy_doc ->
e:{expr}47 LazyDoc.lazy_doc ->
witness:F.mutable_variable ->
PPrint.documentmethod virtual expr'_MacroInvokation : super:{expr}47 ->
macro:Hax_engine.Ast.global_ident ->
args:Hax_engine.Prelude.string ->
witness:F.macro ->
PPrint.documentmethod virtual expr'_Ascription : super:{expr}47 ->
e:{expr}47 LazyDoc.lazy_doc ->
typ:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual _do_not_override_expr'_GlobalVar : super:{expr}47 ->
Hax_engine.Ast.global_ident ->
PPrint.documentmethod virtual expr'_LocalVar : super:{expr}47 ->
Hax_engine.Ast.local_ident LazyDoc.lazy_doc ->
PPrint.documentmethod virtual expr'_Block : super:{expr}47 ->
e:{expr}47 LazyDoc.lazy_doc ->
safety_mode:{safety_kind}1 LazyDoc.lazy_doc ->
witness:F.block ->
PPrint.documentmethod virtual expr'_Let : super:{expr}47 ->
monadic:
({supported_monads}50 LazyDoc.lazy_doc * F.monadic_binding)
LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
lhs:{pat}43 LazyDoc.lazy_doc ->
rhs:{expr}47 LazyDoc.lazy_doc ->
body:{expr}47 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual expr'_Match : super:{expr}47 ->
scrutinee:{expr}47 LazyDoc.lazy_doc ->
arms:{arm}57 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual _do_not_override_expr'_Construct : super:{expr}47 ->
constructor:Hax_engine.Ast.global_ident ->
is_record:Hax_engine.Prelude.bool ->
is_struct:Hax_engine.Prelude.bool ->
fields:
(Hax_engine.Ast.global_ident * {expr}47 LazyDoc.lazy_doc) LazyDoc.lazy_doc
Hax_engine.Prelude.list ->
base:
({expr}47 LazyDoc.lazy_doc * F.construct_base) LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
PPrint.documentmethod virtual expr'_Array : super:{expr}47 ->
{expr}47 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
PPrint.documentmethod virtual expr'_Literal : super:{expr}47 ->
Hax_engine.Ast.literal LazyDoc.lazy_doc ->
PPrint.documentmethod virtual _do_not_override_expr'_App : super:{expr}47 ->
f:{expr}47 LazyDoc.lazy_doc ->
args:{expr}47 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
generic_args:{generic_value}35 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
bounds_impls:{impl_expr}36 LazyDoc.lazy_doc Hax_engine.Prelude.list ->
trait:
({impl_expr}36 LazyDoc.lazy_doc
* {generic_value}35 LazyDoc.lazy_doc Hax_engine.Prelude.list)
LazyDoc.lazy_doc
Hax_engine.Prelude.option ->
PPrint.documentmethod virtual expr'_If : super:{expr}47 ->
cond:{expr}47 LazyDoc.lazy_doc ->
then_:{expr}47 LazyDoc.lazy_doc ->
else_:{expr}47 LazyDoc.lazy_doc Hax_engine.Prelude.option ->
PPrint.documentmethod print_expr : ast_position -> {expr}47 -> PPrint.documentmethod wrap_expr : ast_position ->
{expr}47 ->
PPrint.document ->
PPrint.documentmethod virtual expr : e:{expr'}46 LazyDoc.lazy_doc ->
span:Hax_engine.Ast.span ->
typ:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod print_quote : ast_position -> {quote}48 -> PPrint.documentmethod wrap_quote : ast_position ->
{quote}48 ->
PPrint.document ->
PPrint.documentmethod virtual quote : contents:
{quote_content}49 LazyDoc.lazy_doc
Hax_engine.Prelude.list ->
witness:F.quote ->
PPrint.documentmethod print_quote_content : ast_position ->
{quote_content}49 ->
PPrint.documentmethod wrap_quote_content : ast_position ->
{quote_content}49 ->
PPrint.document ->
PPrint.documentmethod virtual quote_content_Typ : {ty}34 LazyDoc.lazy_doc -> PPrint.documentmethod virtual quote_content_Pattern : {pat}43 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual quote_content_Expr : {expr}47 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual quote_content_Verbatim : Hax_engine.Prelude.string ->
PPrint.documentmethod print_supported_monads : ast_position ->
{supported_monads}50 ->
PPrint.documentmethod wrap_supported_monads : ast_position ->
{supported_monads}50 ->
PPrint.document ->
PPrint.documentmethod virtual supported_monads_MResult : {ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual supported_monads_MException : {ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod print_loop_kind : ast_position -> {loop_kind}51 -> PPrint.documentmethod wrap_loop_kind : ast_position ->
{loop_kind}51 ->
PPrint.document ->
PPrint.documentmethod virtual loop_kind_ForIndexLoop : start:{expr}47 LazyDoc.lazy_doc ->
end_:{expr}47 LazyDoc.lazy_doc ->
var:Hax_engine.Ast.local_ident LazyDoc.lazy_doc ->
var_typ:{ty}34 LazyDoc.lazy_doc ->
witness:F.for_index_loop ->
PPrint.documentmethod virtual loop_kind_ForLoop : pat:{pat}43 LazyDoc.lazy_doc ->
it:{expr}47 LazyDoc.lazy_doc ->
witness:F.for_loop ->
PPrint.documentmethod virtual loop_kind_WhileLoop : condition:{expr}47 LazyDoc.lazy_doc ->
witness:F.while_loop ->
PPrint.documentmethod print_loop_state : ast_position -> {loop_state}52 -> PPrint.documentmethod wrap_loop_state : ast_position ->
{loop_state}52 ->
PPrint.document ->
PPrint.documentmethod virtual loop_state : init:{expr}47 LazyDoc.lazy_doc ->
bpat:{pat}43 LazyDoc.lazy_doc ->
witness:F.state_passing_loop ->
PPrint.documentmethod print_lhs : ast_position -> {lhs}53 -> PPrint.documentmethod wrap_lhs : ast_position -> {lhs}53 -> PPrint.document -> PPrint.documentmethod virtual lhs_LhsArrayAccessor : e:{lhs}53 LazyDoc.lazy_doc ->
typ:{ty}34 LazyDoc.lazy_doc ->
index:{expr}47 LazyDoc.lazy_doc ->
witness:F.nontrivial_lhs ->
PPrint.documentmethod virtual _do_not_override_lhs_LhsFieldAccessor : e:
{lhs}53
LazyDoc.lazy_doc ->
typ:{ty}34 LazyDoc.lazy_doc ->
field:Hax_engine.Ast.global_ident ->
witness:F.nontrivial_lhs ->
PPrint.documentmethod virtual lhs_LhsArbitraryExpr : e:{expr}47 LazyDoc.lazy_doc ->
witness:F.arbitrary_lhs ->
PPrint.documentmethod virtual lhs_LhsLocalVar : var:Hax_engine.Local_ident.t ->
typ:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod print_guard : ast_position -> {guard}54 -> PPrint.documentmethod wrap_guard : ast_position ->
{guard}54 ->
PPrint.document ->
PPrint.documentmethod virtual guard : guard:{guard'}55 LazyDoc.lazy_doc ->
span:Hax_engine.Ast.span ->
PPrint.documentmethod wrap_guard' : ast_position ->
{guard'}55 ->
PPrint.document ->
PPrint.documentmethod virtual guard'_IfLet : super:{guard}54 ->
lhs:{pat}43 LazyDoc.lazy_doc ->
rhs:{expr}47 LazyDoc.lazy_doc ->
witness:F.match_guard ->
PPrint.documentmethod wrap_arm' : ast_position ->
{arm'}56 ->
PPrint.document ->
PPrint.documentmethod virtual arm' : super:{arm}57 ->
arm_pat:{pat}43 LazyDoc.lazy_doc ->
body:{expr}47 LazyDoc.lazy_doc ->
guard:{guard}54 LazyDoc.lazy_doc Hax_engine.Prelude.option ->
PPrint.documentmethod print_arm : ast_position -> {arm}57 -> PPrint.documentmethod wrap_arm : ast_position -> {arm}57 -> PPrint.document -> PPrint.documentmethod virtual arm : arm:{arm'}56 LazyDoc.lazy_doc ->
span:Hax_engine.Ast.span ->
PPrint.documentmethod print_generic_param : ast_position ->
{generic_param}298 ->
PPrint.documentmethod wrap_generic_param : ast_position ->
{generic_param}298 ->
PPrint.document ->
PPrint.documentmethod virtual generic_param : ident:
Hax_engine.Ast.local_ident LazyDoc.lazy_doc ->
span:Hax_engine.Ast.span ->
attrs:Hax_engine.Ast.attrs LazyDoc.lazy_doc ->
kind:{generic_param_kind}299 LazyDoc.lazy_doc ->
PPrint.documentmethod print_generic_param_kind : ast_position ->
{generic_param_kind}299 ->
PPrint.documentmethod wrap_generic_param_kind : ast_position ->
{generic_param_kind}299 ->
PPrint.document ->
PPrint.documentmethod virtual generic_param_kind_GPConst : typ:{ty}34 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual generic_param_kind_GPLifetime : witness:F.lifetime ->
PPrint.documentmethod print_generic_constraint : ast_position ->
{generic_constraint}300 ->
PPrint.documentmethod wrap_generic_constraint : ast_position ->
{generic_constraint}300 ->
PPrint.document ->
PPrint.documentmethod virtual generic_constraint_GCProjection : {projection_predicate}41
LazyDoc.lazy_doc ->
PPrint.documentmethod virtual generic_constraint_GCType : {impl_ident}40 LazyDoc.lazy_doc ->
PPrint.documentmethod virtual generic_constraint_GCLifetime : Hax_engine.Ast.todo ->
F.lifetime ->
PPrint.documentmethod print_param : ast_position -> {param}331 -> PPrint.documentmethod wrap_param : ast_position ->
{param}331 ->
PPrint.document ->
PPrint.documentmethod virtual param : pat:{pat}43 LazyDoc.lazy_doc ->
typ:{ty}34 LazyDoc.lazy_doc ->
typ_span:Hax_engine.Ast.span Hax_engine.Prelude.option ->
attrs:Hax_engine.Ast.attrs LazyDoc.lazy_doc ->
PPrint.documentmethod _do_not_override_lazy_of_variant : ast_position ->
{variant}333 ->
{variant}333 LazyDoc.lazy_docmethod _do_not_override_lazy_of_item' : super:{item}335 ->
ast_position ->
{item'}334 ->
{item'}334 LazyDoc.lazy_docmethod _do_not_override_lazy_of_item : ast_position ->
{item}335 ->
{item}335 LazyDoc.lazy_docmethod _do_not_override_lazy_of_impl_item' : ast_position ->
{impl_item'}336 ->
{impl_item'}336 LazyDoc.lazy_docmethod _do_not_override_lazy_of_impl_item : ast_position ->
{impl_item}337 ->
{impl_item}337 LazyDoc.lazy_docmethod _do_not_override_lazy_of_trait_item' : ast_position ->
{trait_item'}338 ->
{trait_item'}338 LazyDoc.lazy_docmethod _do_not_override_lazy_of_trait_item : ast_position ->
{trait_item}339 ->
{trait_item}339 LazyDoc.lazy_docmethod _do_not_override_lazy_of_modul : ast_position ->
{modul}430 ->
{modul}430 LazyDoc.lazy_doc