Up
module
Olang
:
sig
The language of predicates over an ordered set.
#
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
eval : compare:('a
->
'a
->
int)
->
'a
t
->
bool
#
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
end