Module Phase.Rejection

type t =
  1. | NotInBackendLang of Backend.t
  2. | ArbitraryLhs
  3. | Continue
  4. | RawOrMutPointer
  5. | EarlyExit
  6. | AsPattern
  7. | Dyn
  8. | TraitItemDefault
  9. | Unsafe
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val equal : t -> t -> Ppx_deriving_runtime.bool
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
val compare : t -> t -> Prelude.int
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val display : t -> Hax_engine.Prelude.String.t