package facile

  1. Overview
  2. Docs

Module Facile.DomainSource

Sourcetype elt = int
Sourcetype t
Sourceval empty : t
Sourceval create : elt list -> t
Sourceval unsafe_create : elt list -> t
Sourceval interval : elt -> elt -> t
Sourceval int : t
Sourceval boolean : t
Sourceval is_empty : t -> bool
Sourceval size : t -> elt
Sourceval min : t -> elt
Sourceval max : t -> elt
Sourceval min_max : t -> elt * elt
Sourceval iter : (elt -> unit) -> t -> unit
Sourceval interval_iter : (elt -> elt -> unit) -> t -> unit
Sourceval member : elt -> t -> bool
Sourceval values : t -> elt list
Sourceval fprint_elt : out_channel -> elt -> unit
Sourceval fprint : out_channel -> t -> unit
Sourceval sprint : t -> string
Sourceval included : t -> t -> bool
Sourceval add : elt -> t -> t
Sourceval remove : elt -> t -> t
Sourceval remove_up : elt -> t -> t
Sourceval remove_low : elt -> t -> t
Sourceval remove_low_up : elt -> elt -> t -> t
Sourceval remove_closed_inter : elt -> elt -> t -> t
Sourceval intersection : t -> t -> t
Sourceval union : t -> t -> t
Sourceval difference : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval remove_min : t -> t
Sourceval minus : t -> t
Sourceval plus : t -> elt -> t
Sourceval times : t -> elt -> t
Sourceval smallest_geq : t -> elt -> elt
Sourceval greatest_leq : t -> elt -> elt
Sourceval largest_hole_around : t -> elt -> elt * elt
Sourceval choose : (elt -> elt -> bool) -> t -> elt
Sourceval compare : t -> t -> elt
Sourceval compare_elt : elt -> elt -> elt
Sourceval disjoint : t -> t -> bool
OCaml

Innovation. Community. Security.