Mercurial > urweb
comparison src/core_env.sig @ 177:5d030ee143e2
Case through corify
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 02 Aug 2008 11:15:32 -0400 |
parents | 25b169416ea8 |
children | 9bbf4d383381 |
comparison
equal
deleted
inserted
replaced
176:33d4a8eea484 | 177:5d030ee143e2 |
---|---|
43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option | 43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option |
44 | 44 |
45 val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env | 45 val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env |
46 val lookupDatatype : env -> int -> string * (string * int * Core.con option) list | 46 val lookupDatatype : env -> int -> string * (string * int * Core.con option) list |
47 | 47 |
48 val lookupConstructor : env -> int -> string * Core.con option * int | |
49 | |
48 val pushERel : env -> string -> Core.con -> env | 50 val pushERel : env -> string -> Core.con -> env |
49 val lookupERel : env -> int -> string * Core.con | 51 val lookupERel : env -> int -> string * Core.con |
50 | 52 |
51 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env | 53 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env |
52 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string | 54 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string |