package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Concrete subtitutions

Package contains no libraries

Concrete subtitutions

type 'a key

Polymorphic type of keys for the a subtitution

val get : 'a key -> ('a key, 'b) t -> 'b

get v subst returns the value associated with v in subst, if it exists.

raises Not_found
if there is no binding for v.

val mem : 'a key -> ('a key, 'b) t -> bool

get v subst returns wether there is a value associated with v in subst.

val bind : ('a key, 'b) t -> 'a key -> 'b -> ('a key, 'b) t

bind v t subst returns the same substitution as subst with the additional binding from v to t. Erases the previous binding of v if it exists.

val remove : 'a key -> ('a key, 'b) t -> ('a key, 'b) t

remove v subst returns the same substitution as subst except for v which is unbound in the returned substitution.