Go up to 2.3.4 Terms
Go forward to 2.3.4.2 Qualified Variables
2.3.4.1 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