docs menu

Module Ops.Nodes

Sets of nodes that remember the order in which nodes joined them.

#type node := t

#type t

The type for sets of nodes.

#val mem : node -> t -> bool

mem u s is true iff u is in s.

#val to_list : t -> node list

to_list s is the nodes of s in the order they joined it.

#val fold : (node -> 'a -> 'a) -> t -> 'a -> 'a

fold f s acc folds f over the nodes of s in the order they joined it.

#val cardinal : t -> int

cardinal s is the number of nodes of s.