package facile

  1. Overview
  2. Docs

Module SetDomain.SSource

Sourcetype t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval mem : int -> t -> bool
Sourceval add : int -> t -> t
Sourceval singleton : int -> t
Sourceval remove : int -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval subset : t -> t -> bool
Sourceval iter : (int -> unit) -> t -> unit
Sourceval cardinal : t -> int
Sourceval elements : t -> int list
Sourceval min_elt : t -> int
Sourceval max_elt : t -> int
Sourceval choose : t -> int
Sourceval remove_up : int -> t -> t
Sourceval remove_low : int -> t -> t