Up

Module type Validated = Validated_intf.Validated with type 'a validated := 'a t

Signature

type 'a validated

type raw

type t = raw validated

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val create : raw -> t Or_error.t

val create_exn : raw -> t

val raw : t -> raw