diff options
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, |