Module Hoist.ID

val dty : Span.t -> Hax_engine__Ast.Make(F).ty -> B.ty
val ddyn_trait_goal : Span.t -> Hax_engine__Ast.Make(F).dyn_trait_goal -> B.dyn_trait_goal
val dtrait_goal : Span.t -> A.trait_goal -> B.trait_goal
val dimpl_ident : Span.t -> A.impl_ident -> B.impl_ident
val dprojection_predicate : Span.t -> A.projection_predicate -> B.projection_predicate
val dimpl_expr : Span.t -> Hax_engine__Ast.Make(F).impl_expr -> B.impl_expr
val dimpl_expr_kind : Span.t -> Hax_engine__Ast.Make(F).impl_expr_kind -> B.impl_expr_kind
val dgeneric_value : Span.t -> Hax_engine__Ast.Make(F).generic_value -> B.generic_value
val dborrow_kind : Span.t -> A.borrow_kind -> B.borrow_kind
val dpat : Hax_engine__Ast.Make(F).pat -> B.pat
val dpat' : Span.t -> Hax_engine__Ast.Make(F).pat' -> B.pat'
val dfield_pat : Span.t -> Hax_engine__Ast.Make(F).field_pat -> B.field_pat
val dbinding_mode : Span.t -> Hax_engine__Ast.Make(F).binding_mode -> B.binding_mode
val dsupported_monads : Span.t -> A.supported_monads -> B.supported_monads
val dexpr : Hax_engine__Ast.Make(F).expr -> B.expr
val dexpr_unwrapped : A.expr -> B.expr
val dexpr' : Span.t -> Hax_engine__Ast.Make(F).expr' -> B.expr'
val dquote : Span.t -> Hax_engine__Ast.Make(F).quote -> B.quote
val dloop_kind : Span.t -> Hax_engine__Ast.Make(F).loop_kind -> B.loop_kind
val dloop_state : Span.t -> Hax_engine__Ast.Make(F).loop_state -> B.loop_state
val darm : Hax_engine__Ast.Make(F).arm -> B.arm
val darm' : Hax_engine__Ast.Make(F).arm' -> B.arm'
val dguard : Hax_engine__Ast.Make(F).guard -> B.guard
val dguard' : Span.t -> Hax_engine__Ast.Make(F).guard' -> B.guard'
val dlhs : Span.t -> Hax_engine__Ast.Make(F).lhs -> B.lhs