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

      SORTED-TERM ::= sorted-term TERM SORT

A sorted term is written:


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-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up Next