Module Phase_reject.Arbitrary_lhs

Parameters

module FA : Features.T

Signature

module FB : sig ... end
include sig ... end
val metadata : Phase_utils.Metadata.t
module S : sig ... end
module A : sig ... end
module B : sig ... end
module UA : sig ... end
module UB : sig ... end
val dsafety_kind : Span.t -> A.safety_kind -> B.safety_kind
val dmutability : Span.t -> (Span.t -> 'a -> 'b) -> 'a Ast.mutability -> 'b Ast.mutability
val dty : Ast.span -> A.ty -> B.ty
val ddyn_trait_goal : Ast.span -> A.dyn_trait_goal -> B.dyn_trait_goal
val dtrait_goal : Ast.span -> A.trait_goal -> B.trait_goal
val dimpl_ident : Ast.span -> A.impl_ident -> B.impl_ident
val dprojection_predicate : Ast.span -> A.projection_predicate -> B.projection_predicate
val dimpl_expr : Ast.span -> A.impl_expr -> B.impl_expr
val dimpl_expr_kind : Ast.span -> A.impl_expr_kind -> B.impl_expr_kind
val dgeneric_value : Ast.span -> A.generic_value -> B.generic_value
val dborrow_kind : Ast.span -> A.borrow_kind -> B.borrow_kind
val dpat : A.pat -> B.pat
val dpat' : Span.t -> A.pat' -> B.pat'
val dfield_pat : Ast.span -> A.field_pat -> B.field_pat
val dbinding_mode : Ast.span -> A.binding_mode -> B.binding_mode
val dsupported_monads : Ast.span -> A.supported_monads -> B.supported_monads
val dexpr : A.expr -> B.expr
val dexpr_unwrapped : A.expr -> B.expr
val dexpr' : Span.t -> A.expr' -> B.expr'
val dquote : Ast.span -> A.quote -> B.quote
val dloop_kind : Ast.span -> A.loop_kind -> B.loop_kind
val dloop_state : Ast.span -> A.loop_state -> B.loop_state
val darm : A.arm -> B.arm
val darm' : A.arm' -> B.arm'
val dguard : A.guard -> B.guard
val dguard' : Span.t -> A.guard' -> B.guard'
val dlhs : Ast.span -> A.lhs -> B.lhs
module Item : sig ... end
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'
module FA : sig ... end