Module `Scc.SccSet`Source

Sourcetype 'a set

Sourceval empty : sccnode set

Sourceval add : sccnode -> sccnode set -> sccnode set

Sourceval mem : sccnode -> sccnode set -> bool

Sourceval cardinal : sccnode set -> int

Sourceval of_list : sccnode list -> sccnode set

Sourceval to_list : sccnode set -> sccnode list

Sourceval root : sccnode set -> sccnode option

Sourceval choose : sccnode set -> sccnode

Sourceval take_min_opt : sccnode set -> sccnode option * sccnode set

Sourceval take_min : sccnode set -> sccnode * sccnode set

Sourceval take_max_opt : sccnode set -> sccnode option * sccnode set

Sourceval invert : sccnode set -> sccnode set

Sourceval inorder : sccnode list -> sccnode set -> sccnode list

Sourceval iter : (sccnode -> unit) -> sccnode set -> unit

Sourceval traverse : (sccnode -> 'b -> 'b) -> 'b -> sccnode set -> 'b

Sourceval preorder : sccnode list -> sccnode set -> sccnode list

Sourceval iter_preorder : (sccnode -> unit) -> sccnode set -> unit

Sourceval postorder : sccnode list -> sccnode set -> sccnode list

Sourceval iter_postorder : (sccnode -> unit) -> sccnode set -> unit

Sourceval fold : (sccnode -> 'b -> 'b) -> sccnode set -> 'b -> 'b

Sourceval remove : sccnode -> sccnode set -> sccnode set

Sourceval union : sccnode set -> sccnode set -> sccnode set

Sourceval is_empty : sccnode set -> bool

Sourceval elements : sccnode set -> sccnode list

Sourceval filter : (sccnode -> bool) -> sccnode set -> sccnode set

Sourceval for_all : (sccnode -> bool) -> sccnode set -> bool

Sourceval subset : sccnode set -> sccnode set -> bool

Sourceval subset_seq : sccnode set -> sccnode set Seq.t

Sourceval diff : sccnode set -> sccnode set -> sccnode set

Sourceval to_seq : sccnode set -> sccnode Seq.t

Sourceval singleton : sccnode -> sccnode set

Sourceval min_elt_opt : sccnode set -> sccnode option

Sourceval max_elt_opt : sccnode set -> sccnode option

Sourceval of_seq : sccnode Seq.t -> sccnode set

Sourceval inter : sccnode set -> sccnode set -> sccnode set

Sourceval exists : (sccnode -> bool) -> sccnode set -> bool

Sourceval find_first_opt : (sccnode -> bool) -> sccnode set -> sccnode option

Sourceval find_first : (sccnode -> bool) -> sccnode set -> sccnode

Sourceval search : (sccnode -> int) -> sccnode set -> sccnode

package fungi