Module Diagnostics.Phase

module Rejection : sig ... end
type t =
  1. | Identity
  2. | HoistSideEffects
  3. | Reject of Rejection.t
  4. | TraitsSpecs
  5. | ReconstructForLoops
  6. | ReconstructQuestionMarks
  7. | TrivializeAssignLhs
  8. | ReconstructWhileLoops
  9. | RewriteControlFlow
  10. | ReconstructAsserts
  11. | ReconstructForIndexLoops
  12. | DropBlocks
  13. | CfIntoMonads
  14. | DropReferences
  15. | TransformHaxLibInline
  16. | DirectAndMut
  17. | SimplifyQuestionMarks
  18. | DropMatchGuards
  19. | Specialize
  20. | LocalMutation
  21. | SimplifyMatchReturn
  22. | AndMutDefsite
  23. | SimplifyHoisting
  24. | SortItems
  25. | ReorderFields
  26. | DropSizedTrait
  27. | BundleCycles
  28. | FunctionalizeLoops
  29. | DropReturnBreakContinue
  30. | NewtypeAsRefinement
  31. | HoistDisjunctivePatterns

All names for phases defined in `lib/phases_*` are generated automatically

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