package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val assume_equality : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Polynome.t ->
  unit

val get_repr : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Polynome.t option

val attach_repr_change : 
  _ Colibri2_core.Egraph.t ->
  ?node:Colibri2_core.Node.t ->
  (Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit) ->
  unit

val events_repr_change : 
  _ Colibri2_core.Egraph.t ->
  ?node:Colibri2_core.Node.t ->
  (Colibri2_core.Egraph.rt ->
    Colibri2_core.Node.t ->
    Colibri2_core.Events.enqueue) ->
  unit

val init : Colibri2_core.Egraph.wt -> unit

val node_of_polynome : 
  Colibri2_core.Egraph.wt ->
  Polynome.t ->
  Colibri2_core.Node.t

val normalize : _ Colibri2_core.Egraph.t -> Polynome.t -> Polynome.t