Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/demo.sig	Tue Dec 15 13:20:13 2009 -0500
+++ b/src/demo.sig	Tue Dec 15 19:26:52 2009 -0500
@@ -28,5 +28,6 @@
 signature DEMO = sig
 
     val make : {prefix : string, dirname : string, guided : bool} -> unit
+    val make' : {prefix : string, dirname : string, guided : bool} -> bool
 
 end