package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a t

A map of substitution

val create : Colibri2_stdlib.Context.creator -> 'a t

val find_and_add : bool t -> Colibri2_core.Ground.Subst.t -> bool

Return if the substitution is in the set, and add it if it is not the case

val find_def : default:'a -> 'a t -> Colibri2_core.Ground.Subst.t -> 'a

Return the value associated to the substitution, or default if it is not binded

val set : 'a t -> Colibri2_core.Ground.Subst.t -> 'a -> unit

Return set the associated value of the substitution