Module `Compute.PathSet`Source

Sourcetype 'a set

Sourceval empty : measure pathelt set

Sourceval add : measure pathelt -> measure pathelt set -> measure pathelt set

Sourceval mem : measure pathelt -> measure pathelt set -> bool

Sourceval cardinal : measure pathelt set -> int

Sourceval of_list : measure pathelt list -> measure pathelt set

Sourceval to_list : measure pathelt set -> measure pathelt list

Sourceval root : measure pathelt set -> measure pathelt option

Sourceval choose : measure pathelt set -> measure pathelt

val take_min_opt : 
  measure pathelt set ->
  measure pathelt option * measure pathelt set

Sourceval take_min : measure pathelt set -> measure pathelt * measure pathelt set

val take_max_opt : 
  measure pathelt set ->
  measure pathelt option * measure pathelt set

Sourceval invert : measure pathelt set -> measure pathelt set

val inorder : 
  measure pathelt list ->
  measure pathelt set ->
  measure pathelt list

Sourceval iter : (measure pathelt -> unit) -> measure pathelt set -> unit

Sourceval traverse : (measure pathelt -> 'b -> 'b) -> 'b -> measure pathelt set -> 'b

val preorder : 
  measure pathelt list ->
  measure pathelt set ->
  measure pathelt list

Sourceval iter_preorder : (measure pathelt -> unit) -> measure pathelt set -> unit

val postorder : 
  measure pathelt list ->
  measure pathelt set ->
  measure pathelt list

Sourceval iter_postorder : (measure pathelt -> unit) -> measure pathelt set -> unit

Sourceval fold : (measure pathelt -> 'b -> 'b) -> measure pathelt set -> 'b -> 'b

Sourceval remove : measure pathelt -> measure pathelt set -> measure pathelt set

Sourceval union : measure pathelt set -> measure pathelt set -> measure pathelt set

Sourceval is_empty : measure pathelt set -> bool

Sourceval elements : measure pathelt set -> measure pathelt list

val filter : 
  (measure pathelt -> bool) ->
  measure pathelt set ->
  measure pathelt set

Sourceval for_all : (measure pathelt -> bool) -> measure pathelt set -> bool

Sourceval subset : measure pathelt set -> measure pathelt set -> bool

Sourceval subset_seq : measure pathelt set -> measure pathelt set Seq.t

Sourceval diff : measure pathelt set -> measure pathelt set -> measure pathelt set

Sourceval to_seq : measure pathelt set -> measure pathelt Seq.t

Sourceval singleton : measure pathelt -> measure pathelt set

Sourceval min_elt_opt : measure pathelt set -> measure pathelt option

Sourceval max_elt_opt : measure pathelt set -> measure pathelt option

Sourceval of_seq : measure pathelt Seq.t -> measure pathelt set

Sourceval inter : measure pathelt set -> measure pathelt set -> measure pathelt set

Sourceval exists : (measure pathelt -> bool) -> measure pathelt set -> bool

val find_first_opt : 
  (measure pathelt -> bool) ->
  measure pathelt set ->
  measure pathelt option

val find_first : 
  (measure pathelt -> bool) ->
  measure pathelt set ->
  measure pathelt

Sourceval search : (measure pathelt -> int) -> measure pathelt set -> measure pathelt

package fungi