SCM Repository
Diff of /trunk/src/basis/basis.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 64, Thu May 13 17:32:28 2010 UTC | revision 65, Thu May 13 21:04:35 2010 UTC | |
|---|---|---|
| # | Line 11 | Line 11 |
| 11 | local | local |
| 12 | structure N = BasisNames | structure N = BasisNames |
| 13 | structure Ty = Types | structure Ty = Types |
| 14 | structure TV = TypeVar | |
| 15 | ||
| 16 | fun --> (tys1, ty) = Ty.T_Fun(tys1, [ty]) | fun --> (tys1, ty) = Ty.T_Fun(tys1, [ty]) |
| 17 | infix --> | infix --> |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
