package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a t =
  'a Colibri2_core.Datastructure.Memo(Colibri2_core.Expr.Term.Const).t

val create : 
  'a Containers.Format.printer ->
  string ->
  (Colibri2_stdlib.Context.creator -> Colibri2_core.Expr.Term.Const.t -> 'a) ->
  'a t

val find : 
  'a t ->
  'b Colibri2_core.Egraph.t ->
  Colibri2_core.Expr.Term.Const.t ->
  'a

val iter : 
  (Colibri2_core.Expr.Term.Const.t -> 'a -> unit) ->
  'a t ->
  'b Colibri2_core.Egraph.t ->
  unit

val fold : 
  (Colibri2_core.Expr.Term.Const.t -> 'a -> 'acc -> 'acc) ->
  'a t ->
  'b Colibri2_core.Egraph.t ->
  'acc ->
  'acc