Mercurial > urweb
comparison src/core_env.sig @ 168:25b169416ea8
Storing datatype constructors in type references past monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 29 Jul 2008 15:43:17 -0400 |
parents | 813e5a52063d |
children | 5d030ee143e2 |
comparison
equal
deleted
inserted
replaced
167:2be573fec9a6 | 168:25b169416ea8 |
---|---|
40 val lookupCRel : env -> int -> string * Core.kind | 40 val lookupCRel : env -> int -> string * Core.kind |
41 | 41 |
42 val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env | 42 val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env |
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 | |
46 val lookupDatatype : env -> int -> string * (string * int * Core.con option) list | |
47 | |
45 val pushERel : env -> string -> Core.con -> env | 48 val pushERel : env -> string -> Core.con -> env |
46 val lookupERel : env -> int -> string * Core.con | 49 val lookupERel : env -> int -> string * Core.con |
47 | 50 |
48 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env | 51 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env |
49 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string | 52 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string |