Phase_reject (hax-engine.Hax_engine.Phase

val make_metadata : Diagnostics.Phase.Rejection.t -> Phase_utils.Metadata.t

module Arbitrary_lhs (FA : Features.T) : sig ... end

module Continue (FA : Features.T) : sig ... end

module RawOrMutPointer (FA : Features.T) : sig ... end

module EarlyExit (FA : Features.T) : sig ... end

module As_pattern (FA : Features.T) : sig ... end

module Dyn (FA : Features.T) : sig ... end

module Trait_item_default (FA : Features.T) : sig ... end

module Unsafe (FA : Features.T) : sig ... end