diff options
Diffstat (limited to 'src/core_env.sig')
| -rw-r--r-- | src/core_env.sig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/core_env.sig b/src/core_env.sig index 220c1da8..b0cf8304 100644 --- a/src/core_env.sig +++ b/src/core_env.sig @@ -42,10 +42,10 @@ signature CORE_ENV = sig val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env val lookupCNamed : env -> int -> string * Core.kind * Core.con option - val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env - val lookupDatatype : env -> int -> string * (string * int * Core.con option) list + val pushDatatype : env -> string -> int -> string list -> (string * int * Core.con option) list -> env + val lookupDatatype : env -> int -> string * string list * (string * int * Core.con option) list - val lookupConstructor : env -> int -> string * Core.con option * int + val lookupConstructor : env -> int -> string * string list * Core.con option * int val pushERel : env -> string -> Core.con -> env val lookupERel : env -> int -> string * Core.con |