Up Next
Go up to 2.3.4 Terms
Go forward to Qualified Variables Identifiers

An unqualified simple identifier in a term may be a variable or a constant, depending on the local environment and the variable declarations. Either is well-sorted for the sort specified in its declaration; a variable expands to the (sorted) variable itself, whereas a constant expands to an application of the qualified symbol to the empty list of arguments. Note that when an identifier is declared both as variable and as a constant of the same sort, unqualified use of the identifier always makes the enclosing atomic formula ill-formed.
CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up Next