SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/kernel/ltybasic.sig
Parent Directory
| 
Revision Log
| 
Patch
| revision 64, Tue Mar 31 05:26:51 1998 UTC | revision 65, Wed Apr 1 20:57:44 1998 UTC | |
|---|---|---|
| # | Line 115 | Line 115 |
| 115 | val initTkEnv: tkindEnv | val initTkEnv: tkindEnv |
| 116 | val tkLookup : tkindEnv * int * int -> tkind | val tkLookup : tkindEnv * int * int -> tkind |
| 117 | val tkInsert : tkindEnv * tkind list -> tkindEnv | val tkInsert : tkindEnv * tkind list -> tkindEnv |
| val tkLookupFreeVars : tkindEnv * LtyKernel.enc_tvar list -> tkind list | ||
| 118 | ||
| 119 | (** utility functions on tycEnv *) | (** utility functions on tycEnv *) |
| 120 | exception tcUnbound | exception tcUnbound |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
