Untyped

computation.spad line 465 [edit on github]

At the moment an untyped variable is represented by a string representing the name of the variable. So why wrap it in a Record structure. The main reason is because I am planning to expand this as explained in the text part of this pamphlet. Also it seems like a good idea to keep a similar structure to typed variables. Also I could not get it to work unwrapped. I vaguely recall that I couldn't get the constructor to return an unwrapped value, but it may have been some other issue and that's not the main reason.

=: (%, %) -> 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