type t = | Auto| None_| Required| Specific of Specific.t
include Ppx_jsonaf_conv_lib.Jsonafable.S with type t := t
val t_of_jsonaf : Jsonaf_kernel__.Type.t -> tval jsonaf_of_t : t -> Jsonaf_kernel__.Type.tval sexp_of_t : t -> Sexplib0.Sexp.tval force_function : string -> t