Variable
Info REFERENCE TO SymbolicVarsBase.VariableInformation
Library.TypeClass The typeclass of the variable
Info REFERENCE TO Variable
Info REFERENCE TO VariableInformation