Go backward to 126.96.36.199 Identifiers
Go up to 2.3.4 Terms
Go forward to 188.8.131.52 Operation Application
184.108.40.206 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