You can search for identifiers within the package.
in-package search v0.2.0
A module for variables that occur in terms.
type t
The type of variables the can occur in terms
val compare : t -> t -> int
Comparison function on variables.
val mk : string -> Ty.t -> t
Create a new typed variable.
val ty : t -> Ty.t
Return the type of the variable.
val get_tag : t -> 'a Tag.t -> 'a option
Return the value bound to a tag (if any).
val set_tag : t -> 'a Tag.t -> 'a -> unit
Set the value bound to the tag.
val unset_tag : t -> _ Tag.t -> unit
Remove the binding to the given tag.