package forester

  1. Overview
  2. Docs
package forester
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Forester_core.Vertex_setSource

Sourcetype t
Sourceval empty : t
Sourceval add : Vertex.t -> t -> t
Sourceval of_list : Vertex.t list -> t
Sourceval to_list : t -> Vertex.t list
Sourceval to_seq : t -> Vertex.t Seq.t
Sourceval of_seq : Vertex.t Seq.t -> t
Sourceval union : t -> t -> t
Sourceval filter : (Vertex.t -> bool) -> t -> t
Sourceval elements : t -> Vertex.t list
Sourceval cardinal : t -> int
Sourceval mem : Vertex.t -> t -> bool
Sourceval fold : (Vertex.t -> 'acc -> 'acc) -> t -> 'acc -> 'acc
Sourceval iter : (Vertex.t -> unit) -> t -> unit
Sourceval inter : t -> t -> t
Sourceval diff : t -> t -> t