Module `For_testing.Unsafe_cheap_option`

type 'a t

include Base.Sexpable.S1 with type 'a t := 'a t

type 'a t

val t_of_sexp : (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a t
val sexp_of_t : ('a -> Base.Sexp.t) -> 'a t -> Base.Sexp.t

val none : _ t
val some : 'a -> 'a t
val is_none : _ t -> bool
val is_some : _ t -> bool
val value_exn : 'a t -> 'a
val value_unsafe : 'a t -> 'a
val to_option : 'a t -> 'a Base.Option.t
val of_option : 'a Base.Option.t -> 'a t