package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Distance Graph

val add_le : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  unit

val add_lt : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  unit

val add_ge : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  unit

val add_gt : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_core.Node.t ->
  unit

val add : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  Colibri2_theories_LRA_stages_def.Bound.t ->
  Colibri2_core.Node.t ->
  unit

val th_register : Colibri2_core.Egraph.wt -> unit