Full Type Signaturetype CSetOps <'a> = {empty: 'a CSet;
is_empty: 'a CSet -> bool;
mem: 'a -> 'a CSet -> bool;
add: 'a -> 'a CSet -> 'a CSet;
singleton: 'a -> 'a CSet;
remove: 'a -> 'a CSet -> 'a CSet;
union: 'a CSet -> 'a CSet -> 'a CSet;
inter: 'a CSet -> 'a CSet -> 'a CSet;
diff: 'a CSet -> 'a CSet -> 'a CSet;
iter: ('a -> unit) -> 'a CSet -> unit;
elements: 'a CSet -> 'a list;
equal: 'a CSet -> 'a CSet -> bool;
subset: 'a CSet -> 'a CSet -> bool;
compare: 'a CSet -> 'a CSet -> int;
for_all: ('a -> bool) -> 'a CSet -> bool;
exists: ('a -> bool) -> 'a CSet -> bool;
filter: ('a -> bool) -> 'a CSet -> 'a CSet;
partition: ('a -> bool) -> 'a CSet -> 'a CSet * 'a CSet;
fold: 'b. ('a -> 'b -> 'b) -> 'a CSet -> 'b -> 'b;
cardinal: 'a CSet -> int;
min_elt: 'a CSet -> 'a;
max_elt: 'a CSet -> 'a;
choose: 'a CSet -> 'a;} |
See Also |
Documentation for assembly mllib, version 1.1.10.1, generated using F# version 1.1.10.1