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

type t = {
  1. name : string;
  2. id : int;
}

Here variables with equal names are differentiated using integers through id

val of_string : string -> t
val to_int : t -> int
val pp : Stdlib.Format.formatter -> t -> unit
val compare : t -> t -> int