Module Subst.VarSource

Sourcetype 'a key = 'a id

Polymorphic type of keys for the a subtitution

Sourceval 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.

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

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

Sourceval 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.

Sourceval 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.