package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val set : 
  Colibri2_core.Egraph.wt ->
  int ->
  (Colibri2_popop_lib.Popop_stdlib.DInt.S.t Colibri2_core.Node.M.t
   * Colibri2_core.Node.t Colibri2_popop_lib.Popop_stdlib.DInt.M.t) ->
  unit

val find_opt : 
  Colibri2_core.Egraph.wt ->
  int ->
  (Colibri2_popop_lib.Popop_stdlib.DInt.S.t Colibri2_core.Node.M.t
   * Colibri2_core.Node.t Colibri2_popop_lib.Popop_stdlib.DInt.M.t)
    option

val change : 
  f:
    ((Colibri2_popop_lib.Popop_stdlib.DInt.S.t Colibri2_core.Node.M.t
      * Colibri2_core.Node.t Colibri2_popop_lib.Popop_stdlib.DInt.M.t)
       option ->
      (Colibri2_popop_lib.Popop_stdlib.DInt.S.t Colibri2_core.Node.M.t
       * Colibri2_core.Node.t Colibri2_popop_lib.Popop_stdlib.DInt.M.t)
        option) ->
  Colibri2_core.Egraph.wt ->
  int ->
  unit

val remove : Colibri2_core.Egraph.wt -> int -> unit

val diffgraph_opt : Colibri2_stdlib.Debug.flag

val pp_dot_diffgraph : Colibri2_core.Egraph.wt -> ?msg:string -> unit -> unit