Up
Module
Olang
The language of predicates over an ordered set.
Signature
type
'a t = [
| `GT
of
'a * 'a
| `LT
of
'a * 'a
| `GE
of
'a * 'a
| `LE
of
'a * 'a
| `EQ
of
'a * 'a
| `NE
of
'a * 'a
| `One_of
of
'a * 'a list
]
val
compare : ('a -> 'a -> int) -> 'a
t
-> 'a
t
-> int
val
t_of_sexp : (
Sexplib.Sexp.t
-> 'a) ->
Sexplib.Sexp.t
-> 'a
t
val
__t_of_sexp__ : (
Sexplib.Sexp.t
-> 'a) ->
Sexplib.Sexp.t
-> 'a
t
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t
val
bin_t : 'a
Bin_prot.Type_class.t
-> 'a
t
Bin_prot.Type_class.t
val
bin_read_t : 'a
Bin_prot.Read.reader
-> 'a
t
Bin_prot.Read.reader
val
__bin_read_t__ : 'a
Bin_prot.Read.reader
-> (int -> 'a
t
)
Bin_prot.Read.reader
val
bin_reader_t : 'a
Bin_prot.Type_class.reader
-> 'a
t
Bin_prot.Type_class.reader
val
bin_size_t : 'a
Bin_prot.Size.sizer
-> 'a
t
Bin_prot.Size.sizer
val
bin_write_t : 'a
Bin_prot.Write.writer
-> 'a
t
Bin_prot.Write.writer
val
bin_writer_t : 'a
Bin_prot.Type_class.writer
-> 'a
t
Bin_prot.Type_class.writer
val
eval : compare:('a -> 'a -> int) -> 'a
t
-> bool