Mercurial > urweb

comparison tests/modproj.lac @ 34:44b5405e74c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating module projection
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 16:38:54 -0400
parents
children 1dfbd9e3e790
comparison
equal deleted inserted replaced
33:535c324f0b35 34:44b5405e74c7
1 signature S = sig
2 type t
3 val zero : t
4 end
5 structure S : S = struct
6 type t = int
7 val zero = 0
8 end
9
10 type t = S.t
11 val zero : t = S.zero