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