CASL/Summary -- 2.3.4.2 Qualified Variables

Go backward to 2.3.4.1 Identifiers
Go up to 2.3.4 Terms
Go forward to 2.3.4.3 Operation Application

  QUAL-VAR         ::= qual-var VAR SORT

A qualified variable QUAL-VAR is written:

(var V:S)

It is well-sorted for the sort S.

CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk