package facile

  1. Overview
  2. Docs

Module Var.SetAttrSource

Sourcetype t
Sourcetype domain = SetDomain.t
Sourcetype event
Sourceval dom : t -> domain
Sourceval on_refine : event
Sourceval on_subst : event
Sourceval on_min : event
Sourceval on_max : event
Sourceval fprint : out_channel -> t -> unit
Sourceval min : t -> elt
Sourceval max : t -> elt
Sourceval member : t -> elt -> bool
Sourceval id : t -> int
Sourceval constraints_number : t -> int
Sourceval size : t -> int
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