module Make: functor (Raw : Raw) -> Validated with type raw := Raw.t
functor (
Raw
:
) ->
Validated
with type raw := Raw.t
type 'a validated
'a
type raw
type t = raw validated
raw validated
val create : raw -> t Or_error.t
raw -> t Or_error.t
val create_exn : raw -> t
raw -> t
val raw : t -> raw
t -> raw
val t_of_sexp : Sexplib.Sexp.t -> t
Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
t -> Sexplib.Sexp.t