Module Generated_generic_printer_base.Make
Parameters
Signature
class virtual base : object ... endtype ('span_data, 'a) object_type =
< span_data : 'span_data
; entrypoint_modul : Hax_engine__Ast.Make(F).item Prelude.list -> 'a
; entrypoint_trait_item : Hax_engine__Ast.Make(F).trait_item -> 'a
; entrypoint_trait_item' : Hax_engine__Ast.Make(F).trait_item' -> 'a
; entrypoint_impl_item : Hax_engine__Ast.Make(F).impl_item -> 'a
; entrypoint_impl_item' : Hax_engine__Ast.Make(F).impl_item' -> 'a
; entrypoint_item : Hax_engine__Ast.Make(F).item -> 'a
; entrypoint_variant : Hax_engine__Ast.Make(F).variant -> 'a
; entrypoint_generics : Hax_engine__Ast.Make(F).generics -> 'a
; entrypoint_param : Hax_engine__Ast.Make(F).param -> 'a
; entrypoint_generic_constraint :
Hax_engine__Ast.Make(F).generic_constraint ->
'a
; entrypoint_generic_param_kind :
Hax_engine__Ast.Make(F).generic_param_kind ->
'a
; entrypoint_generic_param : Hax_engine__Ast.Make(F).generic_param -> 'a
; entrypoint_arm : Hax_engine__Ast.Make(F).arm -> 'a
; entrypoint_guard : Hax_engine__Ast.Make(F).guard -> 'a
; entrypoint_lhs : Hax_engine__Ast.Make(F).lhs -> 'a
; entrypoint_loop_state : Hax_engine__Ast.Make(F).loop_state -> 'a
; entrypoint_loop_kind : Hax_engine__Ast.Make(F).loop_kind -> 'a
; entrypoint_supported_monads :
Hax_engine__Ast.Make(F).supported_monads ->
'a
; entrypoint_expr : Hax_engine__Ast.Make(F).expr -> 'a
; entrypoint_cf_kind : Hax_engine__Ast.Make(F).cf_kind -> 'a
; entrypoint_field_pat : Hax_engine__Ast.Make(F).field_pat -> 'a
; entrypoint_pat : Hax_engine__Ast.Make(F).pat -> 'a
; entrypoint_projection_predicate :
Hax_engine__Ast.Make(F).projection_predicate ->
'a
; entrypoint_impl_ident : Hax_engine__Ast.Make(F).impl_ident -> 'a
; entrypoint_dyn_trait_goal : Hax_engine__Ast.Make(F).dyn_trait_goal -> 'a
; entrypoint_trait_goal : Hax_engine__Ast.Make(F).trait_goal -> 'a
; entrypoint_impl_expr_kind : Hax_engine__Ast.Make(F).impl_expr_kind -> 'a
; entrypoint_impl_expr : Hax_engine__Ast.Make(F).impl_expr -> 'a
; entrypoint_generic_value : Hax_engine__Ast.Make(F).generic_value -> 'a
; entrypoint_ty : Hax_engine__Ast.Make(F).ty -> 'a
; entrypoint_binding_mode : Hax_engine__Ast.Make(F).binding_mode -> 'a
; entrypoint_borrow_kind : Hax_engine__Ast.Make(F).borrow_kind -> 'a
; entrypoint_safety_kind : Hax_engine__Ast.Make(F).safety_kind -> 'a
; entrypoint_literal : Ast.literal -> 'a
; entrypoint_attrs : Ast.attrs -> 'a >