Up Next
Go up to 8.2 Unit Specifications
Go forward to 8.2.2 Architectural Specifications

8.2.1 Unit Types

  UNIT-TYPE        ::= unit-type SPEC* SPEC

A unit type is written:

SP1 × ... × SPn  ->  SP
When the list SPEC* of argument specifications is empty, the unit type is simply written `SP'.

A unit satisfies a unit-type when it is a persistent function that maps compatible tuples of models of the argument specifications SP1, ..., SPn to models of their extension by the result specification SP.


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

Up Next