diff options
Diffstat (limited to 'src/elab_util.sig')
-rw-r--r-- | src/elab_util.sig | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/elab_util.sig b/src/elab_util.sig index da1a02f4..895f836c 100644 --- a/src/elab_util.sig +++ b/src/elab_util.sig @@ -28,11 +28,19 @@ signature ELAB_UTIL = sig structure Kind : sig - val mapfold : (Elab.kind', 'state, 'abort) Search.mapfold_arg + val mapfold : (Elab.kind', 'state, 'abort) Search.mapfolder -> (Elab.kind, 'state, 'abort) Search.mapfolder val exists : (Elab.kind' -> bool) -> Elab.kind -> bool end +structure Con : sig + val mapfold : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder, + con : (Elab.con', 'state, 'abort) Search.mapfolder} + -> (Elab.con, 'state, 'abort) Search.mapfolder + val exists : {kind : Elab.kind' -> bool, + con : Elab.con' -> bool} -> Elab.con -> bool +end + val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env end |