diff options
Diffstat (limited to 'src/mono_util.sig')
| -rw-r--r-- | src/mono_util.sig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig index 06290e7d..7ce545e1 100644 --- a/src/mono_util.sig +++ b/src/mono_util.sig @@ -80,6 +80,8 @@ structure Exp : sig exp : 'context * Mono.exp' * 'state -> 'state, bind : 'context * binder -> 'context} -> 'context -> 'state -> Mono.exp -> 'state + + val appLoc : (Mono.exp -> unit) -> Mono.exp -> unit end structure Decl : sig @@ -143,6 +145,8 @@ structure File : sig -> 'state -> Mono.file -> 'state val maxName : Mono.file -> int + + val appLoc : (Mono.exp -> unit) -> Mono.file -> unit end end |