Up
Module
Set
Signature
type
t
val
t_of_sexp :
Sexplib.Sexp.t
->
t
val
sexp_of_t :
t
->
Sexplib.Sexp.t
val
bin_t :
t
Bin_prot.Type_class.t
val
bin_read_t :
t
Bin_prot.Read.reader
val
__bin_read_t__ : (int ->
t
)
Bin_prot.Read.reader
val
bin_reader_t :
t
Bin_prot.Type_class.reader
val
bin_size_t :
t
Bin_prot.Size.sizer
val
bin_write_t :
t
Bin_prot.Write.writer
val
bin_writer_t :
t
Bin_prot.Type_class.writer
type
'a t_ =
t
include
Interval_intf.Gen_set
with
type
'a
t
:= 'a
t_
with
type
'a
bound
:= 'a
bound_
type
'a t
type
'a bound
type
'a interval
val
create : ('a
bound
* 'a
bound
) list -> 'a
t
val
create_from_intervals : 'a
interval
list -> 'a
t
val
contains : 'a
t
-> 'a
bound
-> bool
val
contains_set : container:'a
t
-> contained:'a
t
-> bool
val
ubound_exn : 'a
t
-> 'a
bound
val
lbound_exn : 'a
t
-> 'a
bound
val
ubound : 'a
t
-> 'a
bound
option
val
lbound : 'a
t
-> 'a
bound
option
val
to_poly :
t
->
bound
poly_set