Prev Up Next
Go backward to 2.3.4.3 Operation Application
Go up to 2.3.4 Terms
Go forward to 2.3.4.5 Conditional Terms

2.3.4.4 Sorted Terms

  SORTED-TERM      ::= sorted-term TERM SORT

A sorted term is written:

T:S

It is well-sorted for some sort if the component term T is well-sorted for the specified sort S. It then expands to those of the fully-qualified expansions of the component term that have the specified sort.


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

Prev Up Next