SCM Repository
Diff of /sml/trunk/src/cm/compile/compile-type.sig
Parent Directory
|
Revision Log
|
Patch
revision 313, Thu Jun 3 09:26:34 1999 UTC | revision 314, Fri Jun 4 06:41:45 1999 UTC | |
---|---|---|
# | Line 10 | Line 10 |
10 | type env | type env |
11 | type benv | type benv |
12 | type envdelta | type envdelta |
13 | type result | |
14 | ||
15 | val empty : result | |
16 | val env2result : env -> result | |
17 | ||
18 | val layer : env * env -> env | val layer : env * env -> env |
19 | val blayer : benv * benv -> benv | val blayer : benv * benv -> benv |
20 | val rlayer : result * result -> result | |
21 | ||
22 | val filter : envdelta * SymbolSet.set -> env | val filter : envdelta * SymbolSet.set -> env |
23 | val bfilter : envdelta * SymbolSet.set -> benv | val bfilter : envdelta * SymbolSet.set -> benv |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |