blob: 79f7ab2e4b1c2c1694384de1f8a10a1635a9d7d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
extern structure Lib : sig
type t
type u
val x : t
val y : u
val f0 : {} -> u
val f1 : t -> t
val f2 : t -> u -> t
end
type t' = Lib.t
val x' : t' = Lib.x
val f0' = Lib.f0
val f1' = Lib.f1
val f2' = Lib.f2
structure Lib' = Lib
type t'' = Lib'.t
val x'' : t'' = Lib'.x
val main = f2' (f1' x') (f0' {})
|
