Uses a valid bit to indicate the validity of a value. Conceptually similar to an Option.t.
val sexp_of_t2 :
('a -> Sexplib0.Sexp.t) ->
('b -> Sexplib0.Sexp.t) ->
('a, 'b) t2 ->
Sexplib0.Sexp.tval t2_of_sexp :
(Sexplib0.Sexp.t -> 'a) ->
(Sexplib0.Sexp.t -> 'b) ->
Sexplib0.Sexp.t ->
('a, 'b) t2val bin_size_t2 :
'a Bin_prot.Size.sizer ->
'b Bin_prot.Size.sizer ->
('a, 'b) t2 Bin_prot.Size.sizerval bin_write_t2 :
'a Bin_prot.Write.writer ->
'b Bin_prot.Write.writer ->
('a, 'b) t2 Bin_prot.Write.writerval bin_writer_t2 :
'a Bin_prot.Type_class.writer ->
'b Bin_prot.Type_class.writer ->
('a, 'b) t2 Bin_prot.Type_class.writerval bin_read_t2 :
'a Bin_prot.Read.reader ->
'b Bin_prot.Read.reader ->
('a, 'b) t2 Bin_prot.Read.readerval __bin_read_t2__ :
'a Bin_prot.Read.reader ->
'b Bin_prot.Read.reader ->
(Base.int -> ('a, 'b) t2) Bin_prot.Read.readerval bin_reader_t2 :
'a Bin_prot.Type_class.reader ->
'b Bin_prot.Type_class.reader ->
('a, 'b) t2 Bin_prot.Type_class.readerval bin_t2 :
'a Bin_prot.Type_class.t ->
'b Bin_prot.Type_class.t ->
('a, 'b) t2 Bin_prot.Type_class.ttype 'a t = ('a, 'a) t2include Bin_prot.Binable.S1 with type 'a t := 'a tval bin_size_t : ('a, 'a t) Bin_prot.Size.sizer1val bin_write_t : ('a, 'a t) Bin_prot.Write.writer1val bin_read_t : ('a, 'a t) Bin_prot.Read.reader1val __bin_read_t__ : ('a, int -> 'a t) Bin_prot.Read.reader1val bin_writer_t : ('a, 'a t) Bin_prot.Type_class.S1.writerval bin_reader_t : ('a, 'a t) Bin_prot.Type_class.S1.readerval bin_t : ('a, 'a t) Bin_prot.Type_class.S1.tval iter : 'a t -> f:('a -> Base.unit) -> Base.unitval to_list : 'a t -> 'a Base.listmodule Fields : sig ... endCreate a new hardcaml interface with type 'a With_valid.t X.t
module Wrap : sig ... endCreate a new hardcaml interface with type ('a, 'a X.t) With_valid.t2.