package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a t

val create : 
  'a Containers.Format.printer ->
  string ->
  (Colibri2_stdlib.Context.creator -> PN.t -> 'a) ->
  'a t

val find : 'a t -> _ Colibri2_core.Egraph.t -> PN.t -> 'a

val iter : (PN.t -> 'a -> unit) -> 'a t -> _ Colibri2_core.Egraph.t -> unit

val fold : 
  (PN.t -> 'a -> 'acc -> 'acc) ->
  'a t ->
  _ Colibri2_core.Egraph.t ->
  'acc ->
  'acc