Mercurial > urweb

diff src/core_util.sig @ 179:3bbed533fbd2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cases through monoize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 10:48:36 -0400
parents 3739af9e727a
children 8e9f97508f0d
line wrap: on
line diff
--- a/src/core_util.sig	Sun Aug 03 09:26:49 2008 -0400
+++ b/src/core_util.sig	Sun Aug 03 10:48:36 2008 -0400
@@ -130,6 +130,8 @@
 end
 
 structure File : sig
+    val maxName : Core.file -> int
+
     datatype binder = datatype Exp.binder
 
     val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,