Make (hax-engine.Hax_engine.Export

Parameters

module FA : Features.T

module A : sig ... end

val dsafety_kind : A.safety_kind -> B.safety_kind

val dty : A.ty -> B.ty

val dint_kind : Ast.int_kind -> B.int_kind

val dfloat_kind : Ast.float_kind -> B.float_kind

val dglobal_ident : Ast.global_ident -> B.global_id

val dlocal_ident : Ast.local_ident -> B.local_id

val dconcrete_ident : Ast.concrete_ident -> B.global_id

val ddyn_trait_goal : A.dyn_trait_goal -> B.dyn_trait_goal

val dtrait_goal : A.trait_goal -> B.trait_goal

val dimpl_ident : A.impl_ident -> B.impl_ident

val dprojection_predicate : A.projection_predicate -> B.projection_predicate

val dimpl_expr : A.impl_expr -> B.impl_expr

val dimpl_expr_kind : A.impl_expr_kind -> B.impl_expr_kind

val dgeneric_value : A.generic_value -> B.generic_value

val dborrow_kind : A.borrow_kind -> B.borrow_kind

val dmetadata : 
  ?attrs:Ast.attr Hax_engine.Prelude.List.t ->
  Ast.span ->
  B.metadata

val dattr : Ast.attr -> B.attribute

val dpat : A.pat -> B.pat

val dpat' : A.pat' -> B.pat_kind

val dspan : Ast.span -> B.span

val dbinding_mode : A.binding_mode -> B.binding_mode

val dexpr : A.expr -> B.expr

val dexpr' : A.expr' -> B.expr_kind

val dcontrol_flow_kind : A.cf_kind -> B.control_flow_kind

val dliteral : Ast.literal -> B.literal

val dquote : A.quote -> B.quote

val ditem_quote_origin : Ast.item_quote_origin -> B.item_quote_origin

val dloop_kind : A.loop_kind -> B.loop_kind

val dloop_state : A.loop_state -> B.loop_state

val darm : A.arm -> B.arm

val dguard : A.guard -> B.guard

val dguard' : A.guard' -> B.guard_kind

val dlhs : A.lhs -> B.lhs

val dgeneric_param : A.generic_param -> B.generic_param

val dgeneric_constraint : A.generic_constraint -> B.generic_constraint

val dgenerics : A.generics -> B.generics

val dparam : A.param -> B.param

val dvariant : A.variant -> B.variant

val dtrait_item' : A.trait_item' -> B.trait_item_kind

val dtrait_item : A.trait_item -> B.trait_item

val dimpl_item' : A.impl_item' -> B.impl_item_kind

val dimpl_item : A.impl_item -> B.impl_item

val ditem' : A.item' -> Types.span2 -> B.item_kind

val ditem : A.item -> B.item Prelude.list