With_valid (p.hardcaml.v0.15.0.doc.hardcaml.Hardcaml.With

Sourcetype ('a, 'b) t2 = ('a, 'b) Comb.with_valid2 = {

}

val sexp_of_t2 : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) t2 ->
  Sexplib0.Sexp.t

val t2_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) t2

Sourceval bin_shape_t2 : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

val bin_size_t2 : 
  'a Bin_prot.Size.sizer ->
  'b Bin_prot.Size.sizer ->
  ('a, 'b) t2 Bin_prot.Size.sizer

val bin_write_t2 : 
  'a Bin_prot.Write.writer ->
  'b Bin_prot.Write.writer ->
  ('a, 'b) t2 Bin_prot.Write.writer

val bin_writer_t2 : 
  'a Bin_prot.Type_class.writer ->
  'b Bin_prot.Type_class.writer ->
  ('a, 'b) t2 Bin_prot.Type_class.writer

val bin_read_t2 : 
  'a Bin_prot.Read.reader ->
  'b Bin_prot.Read.reader ->
  ('a, 'b) t2 Bin_prot.Read.reader

val __bin_read_t2__ : 
  'a Bin_prot.Read.reader ->
  'b Bin_prot.Read.reader ->
  (Base.int -> ('a, 'b) t2) Bin_prot.Read.reader

val bin_reader_t2 : 
  'a Bin_prot.Type_class.reader ->
  'b Bin_prot.Type_class.reader ->
  ('a, 'b) t2 Bin_prot.Type_class.reader

val bin_t2 : 
  'a Bin_prot.Type_class.t ->
  'b Bin_prot.Type_class.t ->
  ('a, 'b) t2 Bin_prot.Type_class.t

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

include Sexplib0.Sexpable.S1 with type 'a t := 'a t

Sourceval t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t

Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

include Bin_prot.Binable.S1 with type 'a t := 'a t

Sourceval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t

Sourceval bin_size_t : ('a, 'a t) Bin_prot.Size.sizer1

Sourceval bin_write_t : ('a, 'a t) Bin_prot.Write.writer1

Sourceval bin_read_t : ('a, 'a t) Bin_prot.Read.reader1

Sourceval __bin_read_t__ : ('a, int -> 'a t) Bin_prot.Read.reader1

Sourceval bin_writer_t : ('a, 'a t) Bin_prot.Type_class.S1.writer

Sourceval bin_reader_t : ('a, 'a t) Bin_prot.Type_class.S1.reader

Sourceval bin_t : ('a, 'a t) Bin_prot.Type_class.S1.t

Sourceval map : 'a t -> f:('a -> 'b) -> 'b t

Sourceval map2 : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t

Sourceval iter : 'a t -> f:('a -> Base.unit) -> Base.unit

Sourceval iter2 : 'a t -> 'b t -> f:('a -> 'b -> Base.unit) -> Base.unit

Sourceval to_list : 'a t -> 'a Base.list

Sourcemodule Fields : sig ... end

Create a new hardcaml interface with type 'a With_valid.t X.t

Sourcemodule Wrap : sig ... end

Create a new hardcaml interface with type ('a, 'a X.t) With_valid.t2.