Up

Module Symmetric_diff_element

Signature

type ('k, 'v) t = 'k * [
| `Left of 'v
| `Right of 'v
| `Unequal of 'v * 'v
]
val t_of_sexp : 'k 'v . (Sexplib.Sexp.t -> 'k) -> (Sexplib.Sexp.t -> 'v) -> Sexplib.Sexp.t -> ('k, 'v) t
val sexp_of_t : 'k 'v . ('k -> Sexplib.Sexp.t) -> ('v -> Sexplib.Sexp.t) -> ('k, 'v) t -> Sexplib.Sexp.t
val compare : 'k 'v . ('k -> 'k -> int) -> ('v -> 'v -> int) -> ('k, 'v) t -> ('k, 'v) t -> int
val compare_t : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
val bin_size_t : ('a -> int) -> ('b -> int) -> 'a * [<
| `Left of 'b
| `Right of 'b
| `Unequal of 'b * 'b
] -> int
val bin_write_t : (Bin_prot.Common.buf -> pos:'a -> 'b -> Bin_prot.Common.pos) -> (Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> 'c -> Bin_prot.Common.pos) -> Bin_prot.Common.buf -> pos:'a -> 'b * [<
| `Left of 'c
| `Right of 'c
| `Unequal of 'c * 'c
] -> Bin_prot.Common.pos
val bin_writer_t : 'a Bin_prot.Type_class.writer -> 'b Bin_prot.Type_class.writer -> ('a * [<
| `Left of 'b
| `Right of 'b
| `Unequal of 'b * 'b
]) Bin_prot.Type_class.writer
val __bin_read_t__ : 'a -> 'b -> 'c -> pos_ref:Bin_prot.Common.pos Pervasives.ref -> 'd -> 'e
val bin_read_t : (Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'a) -> (Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'b) -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'a * [>
| `Left of 'b
| `Right of 'b
| `Unequal of 'b * 'b
]
val bin_reader_t : 'a Bin_prot.Type_class.reader -> 'b Bin_prot.Type_class.reader -> ('a * [>
| `Left of 'b
| `Right of 'b
| `Unequal of 'b * 'b
]) Bin_prot.Type_class.reader
val bin_t : 'a Bin_prot.Type_class.t -> 'b Bin_prot.Type_class.t -> ('a * [
| `Left of 'b
| `Right of 'b
| `Unequal of 'b * 'b
]) Bin_prot.Type_class.t