Mercurial > urweb

annotate 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
rev   line source
adamc@34 1 signature S = sig
adamc@34 2 type t
adamc@34 3 val zero : t
adamc@34 4 end
adamc@34 5 structure S : S = struct
adamc@34 6 type t = int
adamc@34 7 val zero = 0
adamc@34 8 end
adamc@34 9
adamc@34 10 type t = S.t
adamc@34 11 val zero : t = S.zero