package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module RealValue : sig ... end

val th_register : Colibri2_core.Egraph.wt -> unit

helpers to remove

val add' : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val add : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val sub : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val mult_cst : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val mult : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val gt_zero : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val ge_zero : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val lt : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val le : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val gt : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val ge : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t