diff options
Diffstat (limited to 'src/cjr_env.sig')
-rw-r--r-- | src/cjr_env.sig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/cjr_env.sig b/src/cjr_env.sig index 6a9b0e71..2aa785d5 100644 --- a/src/cjr_env.sig +++ b/src/cjr_env.sig @@ -34,6 +34,7 @@ signature CJR_ENV = sig exception UnboundRel of int exception UnboundNamed of int exception UnboundF of int + exception UnboundStruct of int val pushTNamed : env -> string -> int -> Cjr.typ option -> env val lookupTNamed : env -> int -> string * Cjr.typ option @@ -49,6 +50,9 @@ signature CJR_ENV = sig val pushF : env -> int -> string -> Cjr.typ -> Cjr.typ -> env val lookupF : env -> int -> string * Cjr.typ * Cjr.typ + val pushStruct : env -> int -> (string * Cjr.typ) list -> env + val lookupStruct : env -> int -> (string * Cjr.typ) list + val declBinds : env -> Cjr.decl -> env end |