package colibri2

  1. Overview
  2. Docs
val init : Colibri2_core.Egraph.wt -> unit
module D : sig ... end
val get_dom : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> D.t option
val is_zero_or_positive : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool
val is_not_zero : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool
val is_strictly_positive : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool
val is_strictly_negative : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool
val is_integer : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool
val assume_positive : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit
val assume_negative : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit
module Propagate : sig ... end
OCaml

Innovation. Community. Security.