package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val equality : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t list ->
  Colibri2_core.Node.t

val disequality : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t list ->
  Colibri2_core.Node.t

val is_equal : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  bool

val is_disequal : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  bool

val iter_on_value_different : 
  they_are_different:(Colibri2_core.Node.t -> Colibri2_core.Value.t -> unit) ->
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  unit

val register_hook_new_disequality : 
  _ Colibri2_core.Egraph.t ->
  (Colibri2_core.Node.S.t -> unit) ->
  unit

register a hook that is called each time a set of nodes is known to be disequal

val th_register : Colibri2_core.Egraph.wt -> unit