package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val node_of_product : 
  _ Colibri2_core.Egraph.t ->
  Product.t ->
  Sign_product.t ->
  Colibri2_core.Node.t

module SolveAbs : sig ... end

module SolveSign : sig ... end

val init : Colibri2_core.Egraph.wt -> unit

val propagate_a_cb : 
  _ Colibri2_core.Egraph.t ->
  res:Colibri2_core.Node.t ->
  a:Colibri2_core.Node.t ->
  c:Colibri2_stdlib.Std.A.t ->
  b:Colibri2_core.Node.t ->
  unit