Module Reasoning.Effort

type t =
  1. | Xhigh
  2. | High
  3. | Medium
  4. | Low
  5. | Minimal
  6. | None_
include Ppx_jsonaf_conv_lib.Jsonafable.S with type t := t
val t_of_jsonaf : Jsonaf_kernel__.Type.t -> t
val jsonaf_of_t : t -> Jsonaf_kernel__.Type.t
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t

of_string raises Jsonaf_kernel.Conv.Of_jsonaf_error on unknown values.

include Core.Stringable.S with type t := t
val of_string : string -> t
val to_string : t -> string
val arg_type : t Async.Command.Arg_type.t