Typed

computation.spad line 568 [edit on github]

name of variable and type of variable

=: (%, %) -> Boolean

from VarCat

coerce: % -> OutputForm

from CoercibleTo OutputForm

getName: % -> String

from VarCat

getType: % -> ILogic

from VarCat

parseVar: String -> %

from VarCat

parseVarTerm: (String, NonNegativeInteger) -> Record(rft: %, pout: NonNegativeInteger)

from VarCat

toString: % -> String

from VarCat

var: (String, ILogic) -> %

from VarCat

var: String -> %

from VarCat

CoercibleTo OutputForm

VarCat