Module `Hardcaml__.With_valid`

type ('valid, 'value) t2 = { valid : 'valid; value : 'value; }

val sexp_of_t2 : ('valid -> Ppx_sexp_conv_lib.Sexp.t) -> ('value -> Ppx_sexp_conv_lib.Sexp.t) -> ('valid, 'value) t2 -> Ppx_sexp_conv_lib.Sexp.t

type 'a t = ('a, 'a) t2

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

val map : 'a t -> f:('a -> 'b) -> 'b t
val map2 : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t
val iter : 'a t -> f:('a -> Hardcaml__.Import.unit) -> Hardcaml__.Import.unit
val iter2 : 'a t -> 'b t -> f:('a -> 'b -> Hardcaml__.Import.unit) -> Hardcaml__.Import.unit
val to_list : 'a t -> 'a Hardcaml__.Import.list