type t =
| DirectAndMut
| AndMutDefSite
| Identity
| DropReferences
| DropBlocks
| DropSizedTrait
| DropMatchGuards
| RefMut
| ResugarAsserts
| ResugarForLoops
| ResugarWhileLoops
| ResugarForIndexLoops
| ResugarQuestionMarks
| RewriteControlFlow
| SimplifyQuestionMarks
| Specialize
| HoistSideEffects
| HoistDisjunctions
| LocalMutation
| TrivializeAssignLhs
| CfIntoMonads
| FunctionalizeLoops
| TraitsSpecs
| SimplifyMatchReturn
| SimplifyHoisting
| DropNeedlessReturns
| TransformHaxLibInline
| NewtypeAsRefinement
| DummyA
| DummyB
| DummyC
| Reject of Rejection.t
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 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