23 end where type 'a t
= v
26 end where type t
= int S
.t
34 end where type 'a t
= v
37 end where type t
= real S
.t
46 end where type 'a t
= v
49 end where type t
= S
.u
56 end where type 'a t
= v
) =
58 fun f (x
: 'a S
.t
) = x
= x
59 fun f (x
: S
.u
) = x
= x
68 type u
= (int * real) t
69 end where type 'a t
= s
73 end where type v
= U
.u
82 type u
= (int * real) t
86 datatype v
= datatype s