diff options
Diffstat (limited to 'src/elab_util.sig')
| -rw-r--r-- | src/elab_util.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/elab_util.sig b/src/elab_util.sig index 88bdc892..2998e7db 100644 --- a/src/elab_util.sig +++ b/src/elab_util.sig @@ -226,6 +226,8 @@ end structure File : sig val maxName : Elab.file -> int + + val findDecl : (Elab.decl -> bool) -> Elab.file -> Elab.decl option end end |