You can search for identifiers within the package.
in-package search v0.2.0
codex.while_ast
While_ast.Var
For referring to named storage locations, we use the Var module which ensures that each variable of type t is a record with name and a unique internal identifier to prevent any clashes.
Var
t
type t = {
name : string;
id : int;
}
Here variables with equal names are differentiated using integers through id
id
val of_string : string -> t
val to_int : t -> int
val pp : Format.formatter -> t -> unit
val compare : t -> t -> int