Type_base.Var
Operations on variables.
type t = var
val eq : var -> var -> bool
Compare two variables for equality. This comparison should always be used to compare variables (as opposed to =).
val compare : var -> var -> int