Up

Module Make (Raw : Raw) : Validated with type raw := Raw.t

Parameters

Raw : Raw

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