Module Validated.Make

Parameters

module Raw : Raw

Signature

type witness
type t = ('a, 'b) t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val create : Raw.t -> t Or_error.t
val create_exn : Raw.t -> t
val raw : t -> Raw.t