diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-03 19:49:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-03 19:49:21 -0400 |
| commit | 744cdbb9e3907db9bb01576750634c614147e1a3 (patch) | |
| tree | aecef31d4055d34a31977834cbda020811d1dfab /src/elab_env.sig | |
| parent | 9a9f1738a8eae9df07f97da224cd9cf45033e9dc (diff) | |
Datatype representation optimization
Diffstat (limited to 'src/elab_env.sig')
| -rw-r--r-- | src/elab_env.sig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elab_env.sig b/src/elab_env.sig index 229436ec..f341bed2 100644 --- a/src/elab_env.sig +++ b/src/elab_env.sig @@ -57,7 +57,7 @@ signature ELAB_ENV = sig val lookupDatatypeConstructor : datatyp -> int -> string * Elab.con option val constructors : datatyp -> (string * int * Elab.con option) list - val lookupConstructor : env -> string -> (int * Elab.con option * int) option + val lookupConstructor : env -> string -> (Elab.datatype_kind * int * Elab.con option * int) option val pushERel : env -> string -> Elab.con -> env val lookupERel : env -> int -> string * Elab.con @@ -89,7 +89,7 @@ signature ELAB_ENV = sig val projectDatatype : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> (string * int * Elab.con option) list option val projectConstructor : env -> { sgn : Elab.sgn, str : Elab.str, field : string } - -> (int * Elab.con option * Elab.con) option + -> (Elab.datatype_kind * int * Elab.con option * Elab.con) option val projectVal : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.con option val projectSgn : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option val projectStr : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option |