package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include Colibri2_popop_lib.Popop_stdlib.Datatype

include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType

type t

val equal : t -> t -> bool

val pp : t Colibri2_popop_lib.Pp.pp

val hash_fold_t : t Base.Hash.folder

module M : Colibri2_popop_lib.Map_intf.PMap with type key = t

module S : 
  Colibri2_popop_lib.Map_intf.Set
    with type 'a M.t = 'a M.t
     and type M.key = M.key

module H : Colibri2_popop_lib.Exthtbl.Hashtbl.S with type key = t

include Base.Hashtbl.Key.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

val sexp_of_t : t -> Sexplib0.Sexp.t

val hash : t -> int

val pattern : t -> Pattern.t

val mk : 
  Colibri2_core.Egraph.wt ->
  (Colibri2_core.Egraph.wt -> Colibri2_core.Ground.Subst.t -> unit) ->
  Pattern.t ->
  t

val run : 
  Colibri2_core.Egraph.wt ->
  t ->
  Colibri2_core.Ground.Subst.S.t ->
  unit

val match_ : Colibri2_core.Egraph.wt -> t -> Colibri2_core.Node.t -> unit

match_ d t n match the callback t with n and run t with the resulting substitutions