package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val add : 
  Egraph.wt ->
  Dolmen_std.Expr.term_cst ->
  Dolmen_std.Expr.ty_var list ->
  Dolmen_std.Expr.term_var list ->
  Expr.term ->
  unit

add d sym tys vars def add the definition def for the symbol sym

val add_handler : 
  Egraph.wt ->
  (Egraph.wt ->
    Dolmen_std.Expr.Term.Const.t ->
    Dolmen_std.Expr.Ty.Var.t list ->
    Dolmen_std.Expr.Term.Var.t list ->
    Expr.Term.t ->
    unit) ->
  unit

Called every time a definition is registered