Example
type object = (age : int)type vehicle = (age : int,
speed : int)type machine =
(age : int,
fuel : string)type car =
(age : int,
speed : int,
fuel: string)
type 2V-garage =
(v1 : vehicle,
v2 : vehicle)type 2C-garage =
(v1 : car,
v2 : car,
j : junk)type 2M-garage =
(v1 : machine,
v2 : machine)
Previous slide
Next slide
Back to first slide
View graphic version