Mercurial > urweb

comparison src/demo.sig @ 1079:d069b193ed6b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize uses a termination measure based on number of arguments introduced
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 19:26:52 -0500
parents 7ef4b2911b09
children 4359e185d3af
comparison
equal deleted inserted replaced
1078:b9321bcefb42 1079:d069b193ed6b
26 *) 26 *)
27 27
28 signature DEMO = sig 28 signature DEMO = sig
29 29
30 val make : {prefix : string, dirname : string, guided : bool} -> unit 30 val make : {prefix : string, dirname : string, guided : bool} -> unit
31 val make' : {prefix : string, dirname : string, guided : bool} -> bool
31 32
32 end 33 end