Module type Typerep_experimental.Customrep_intf.S2

type ('a, 'b) t
include Typerep_extended.Std.Typerepable.S2 with type (a, b) t := (a, b) t
type ('a, 'b) t
val typename_of_t : 'a Typerep_lib.Typename.t ‑> 'b Typerep_lib.Typename.t ‑> ('a'bt Typerep_lib.Typename.t
include Core_kernel.Sexpable.S2 with type (a, b) t := (a, b) t
type ('a, 'b) t
val t_of_sexp : (Base__.Sexplib.Sexp.t ‑> 'a) ‑> (Base__.Sexplib.Sexp.t ‑> 'b) ‑> Base__.Sexplib.Sexp.t ‑> ('a'bt
val sexp_of_t : ('a ‑> Base__.Sexplib.Sexp.t) ‑> ('b ‑> Base__.Sexplib.Sexp.t) ‑> ('a'bt ‑> Base__.Sexplib.Sexp.t
include Core_kernel.Binable.S2 with type (a, b) t := (a, b) t
type ('a, 'b) t
val bin_size_t : ('a'b, ('a'btBin_prot.Size.sizer2
val bin_write_t : ('a'b, ('a'btBin_prot.Write.writer2
val bin_read_t : ('a'b, ('a'btBin_prot.Read.reader2
val __bin_read_t__ : ('a'b, int ‑> ('a'btBin_prot.Read.reader2
val bin_writer_t : ('a'b, ('a'btBin_prot.Type_class.S2.writer
val bin_reader_t : ('a'b, ('a'btBin_prot.Type_class.S2.reader
val bin_t : ('a'b, ('a'btBin_prot.Type_class.S2.t
include Typerep_extended.Std.Typestructable.S2 with type (a, b) t := (a, b) t
type ('a, 'b) t