Go backward to A Figures Package
Go up to Top
Go forward to Record Types and Inheritance
Bounded Quantification
- Type inclusion:
- Type is included in (a subtype of) type when all
values of are also values of .
- Inclusion relation on subranges, records, variants, function,
universally and existentially quantified types.
- Integer subrange type
- <= <= iff <= and
<=
- value f = fun(x: 2..5) x+1
f: 2..5 3..6
f(3)
value g = fun(y: 3..4) f(y)
- Function type
- <= iff
<= and <=
- Function of type 3 ...7 can be also considered as function of type 4
...6 6 ...10
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine