next up previous contents index
Next: Partial Function Type Up: Details of the Previous: Computation System Modification

Domain Predicate

We define , a syntactic transformation on terms, as follows.

The #'s used here are dependent products and therefore require a left--to--right evaluation order in the predicate.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995