diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 08:54:49 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 08:54:49 -0400 |
commit | aabe8dd88a80467442826e460e6b01f0dad2fb4d (patch) | |
tree | 2c4168a9d016a992769bbb6a2eec11d27cdfad64 /src/expl_util.sig | |
parent | 55ac3f4f2af733079401d83e98431e6d11b0fc59 (diff) |
Proper hiding of shadowed bindings in principal signatures
Diffstat (limited to 'src/expl_util.sig')
-rw-r--r-- | src/expl_util.sig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expl_util.sig b/src/expl_util.sig index 40ede9a4..2a6c7abe 100644 --- a/src/expl_util.sig +++ b/src/expl_util.sig @@ -82,6 +82,7 @@ structure Sgn : sig datatype binder = RelC of string * Expl.kind | NamedC of string * Expl.kind + | Sgn of string * Expl.sgn | Str of string * Expl.sgn val mapfoldB : {kind : (Expl.kind', 'state, 'abort) Search.mapfolder, |