package dolmen_loop

  1. Overview
  2. Docs

Module T.VarSource

A module for variables that occur in terms.

The type of variables the can occur in terms

Sourceval compare : t -> t -> int

Comparison function on variables.

Sourceval mk : string -> Ty.t -> t

Create a new typed variable.

Sourceval ty : t -> Ty.t

Return the type of the variable.

Sourceval get_tag : t -> 'a Tag.t -> 'a option

Return the value bound to a tag (if any).

Sourceval set_tag : t -> 'a Tag.t -> 'a -> unit

Set the value bound to the tag.

Sourceval unset_tag : t -> _ Tag.t -> unit

Remove the binding to the given tag.