package fmlib_std
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ceeef0fc034eaf510ef2d8decda4ea500d4855202e39f03132385153d3c0adf7
md5=b1c666fde2efc94be7a17d3fa986251e
doc/fmlib_std/Fmlib_std/Btree/Set/index.html
Module Btree.Set
A finite set implemented by a B tree.
Parameters
module Key : Interfaces.SORTABLE
Signature
Set API
include Interfaces.SET with type item = Key.t
type item = Key.t
Type of elements of the set.
val is_empty : t -> bool
Is the set empty?
val cardinal : t -> int
The cardinality of the set i.e. the number of its elements.
fold_left f start set
Fold the elements of the set set
from left to right i.e. lexically ascending using the start value start
for the accumulator and the folding function f
where f
is applied f accu element
yielding a new accumulator value by consuming one element.
fold_left f start set
Fold the elements of the set set
from right to left i.e. lexically descending using the start value start
for the accumulator and the folding function f
where f
is applied f accu element
yielding a new accumulator value by consuming one element.
val empty : t
The empty set.
add element set
Add the element element
to the set set
. If the element is already in the set, then do nothing.
Stream of elements
module Source : sig ... end