Item (hax-engine.Hax_engine.Phase_reject.As

val dgeneric_param : 'a -> A.generic_param -> B.generic_param

val dgeneric_constraint : 
  Ast.span ->
  A.generic_constraint ->
  B.generic_constraint

val dgenerics : Ast.span -> A.generics -> B.generics

val dparam : Ast.span -> A.param -> B.param

val dvariant : Ast.span -> A.variant -> B.variant

val dtrait_item' : Ast.span -> A.trait_item' -> B.trait_item'

val dtrait_item : A.trait_item -> B.trait_item

val dimpl_item' : Ast.span -> A.impl_item' -> B.impl_item'

val dimpl_item : A.impl_item -> B.impl_item

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

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

val ditem' : Span.t -> A.item' -> B.item'

val ditems : 
  A.item Hax_engine.Prelude.List.t ->
  B.item Hax_engine.Prelude.List.t