Parent Directory
| 
Revision Log
| 
Patch
| revision 698 by abate, Tue Jul 10 17:56:40 2007 UTC | revision 713 by abate, Tue Jul 10 17:58:04 2007 UTC | |
|---|---|---|
| # | Line 25 | Line 25 |
| 25 | | Forget of texpr * ttyp | | Forget of texpr * ttyp |
| 26 | (* CDuce is a Lambda-calculus ... *) | (* CDuce is a Lambda-calculus ... *) |
| 27 | | Var of id | | Var of id |
| 28 | | ExtVar of Types.CompUnit.t * id | |
| 29 | | Apply of texpr * texpr | | Apply of texpr * texpr |
| 30 | | Abstraction of abstr | | Abstraction of abstr |
| 31 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |