package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val init : Colibri2_core.Egraph.wt -> unit

module D : sig ... end

val dom : D.t Colibri2_core.Dom.Kind.t

val get_dom : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> D.t option

val upd_dom : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> D.t -> unit

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 zero_is : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  D.is_comparable

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