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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct