Go backward to 184.108.40.206 Identifiers
Go up to 2.3.4 Terms
Go forward to 220.127.116.11 Operation Application
18.104.22.168 Qualified Variables
QUAL-VAR ::= qual-var VAR SORT
A qualified variable QUAL-VAR is written:
It is well-sorted for the sort s.
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to firstname.lastname@example.org