comparison tests/include.lac @ 58:fd8a81ecd598
include
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sun, 22 Jun 2008 18:17:21 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 signature S = sig |
| |
2 type t |
| |
3 val x : t |
| |
4 end |
| |
5 |
| |
6 signature S' = sig |
| |
7 include S |
| |
8 val y : t |
| |
9 end |
| |
10 |
| |
11 signature S'' = sig |
| |
12 type u |
| |
13 include S' where type t = int |
| |
14 type v |
| |
15 end |
