package colibri2

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.