package facile

  1. Overview
  2. Docs

Module Var.FdSource

include BASICFD with type domain = Domain.t with type elt = Domain.elt with type attr = Attr.t with type event = Attr.event
Sourcetype t
Sourcetype attr = Attr.t
Sourcetype domain = Domain.t
Sourcetype elt = Domain.elt
Sourcetype event = Attr.event
Sourceval create : ?name:string -> domain -> t
Sourceval interval : ?name:string -> elt -> elt -> t
Sourceval array : ?name:string -> int -> elt -> elt -> t array
Sourceval elt : elt -> t
Sourceval is_var : t -> bool
Sourceval is_bound : t -> bool
Sourceval value : t -> (attr, elt) concrete
Sourceval min : t -> elt
Sourceval max : t -> elt
Sourceval min_max : t -> elt * elt
Sourceval elt_value : t -> elt
Sourceval int_value : t -> elt
Sourceval size : t -> int
Sourceval member : t -> elt -> bool
Sourceval id : t -> int
Sourceval name : t -> string
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval fprint : out_channel -> t -> unit
Sourceval fprint_array : out_channel -> t array -> unit
Sourceval unify : t -> elt -> unit
Sourceval refine : t -> domain -> unit
Sourceval refine_low : t -> elt -> unit
Sourceval refine_up : t -> elt -> unit
Sourceval refine_low_up : t -> elt -> elt -> unit
Sourceval on_refine : event
Sourceval on_subst : event
Sourceval on_min : event
Sourceval on_max : event
Sourceval delay : event list -> t -> ?waking_id:int -> Cstr.t -> unit
Sourceval int : elt -> t
Sourceval subst : t -> elt -> unit
Sourceval unify_cstr : t -> elt -> Cstr.t
Sourceval remove : t -> elt -> unit
Sourceval values : t -> elt list
Sourceval iter : (elt -> unit) -> t -> unit
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