package facile

  1. Overview
  2. Docs

Module Facile.SetDomainSource

Sourcemodule S : sig ... end
Sourcetype elt = S.t
Sourcetype t
Sourceval min : t -> elt
Sourceval max : t -> elt
Sourceval min_max : t -> elt * elt
Sourceval mem : elt -> t -> bool
Sourceval interval : elt -> elt -> t
Sourceval fprint_elt : out_channel -> elt -> unit
Sourceval fprint : out_channel -> t -> unit
Sourceval included : t -> t -> bool
Sourceval iter : (elt -> unit) -> t -> unit
Sourceval values : t -> elt list
Sourceval elt_of_list : int list -> elt