diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-03 10:48:36 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-03 10:48:36 -0400 |
| commit | c0b7963e91681045bb4c82a2356776fae54f54c5 (patch) | |
| tree | 5f098f60e48ade5cd1bfcb3a69e9b4ef9cb605ff /src/core_util.sig | |
| parent | 5e0563d3b00303d5053827e46811c93077455208 (diff) | |
Cases through monoize
Diffstat (limited to 'src/core_util.sig')
| -rw-r--r-- | src/core_util.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/core_util.sig b/src/core_util.sig index 5629e8fa..3a4e3210 100644 --- a/src/core_util.sig +++ b/src/core_util.sig @@ -130,6 +130,8 @@ structure Decl : sig end structure File : sig + val maxName : Core.file -> int + datatype binder = datatype Exp.binder val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder, |