package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module S : Colibri2_popop_lib.Popop_stdlib.Datatype

type 'a t

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

val set : 'a t -> _ Egraph.t -> S.t -> 'a -> unit

val find : 'a t -> _ Egraph.t -> S.t -> 'a

val change : ('a -> 'a) -> 'a t -> _ Egraph.t -> S.t -> unit