Module VarManager.S.Var

module Var: sig .. end
Abstract type of variables

include Utilsigs.BasicType
include Containers.S
val to_int : t -> Int.t
Returns an integer representation