Parent Directory
|
Revision Log
|
Patch
| revision 57 by abate, Tue Jul 10 17:00:48 2007 UTC | revision 58 by abate, Tue Jul 10 17:01:56 2007 UTC | |
|---|---|---|
| # | Line 1 | Line 1 |
| 1 | type t | type t = |
| 2 | type env | | Pair of t * t |
| 3 | | Record of (Types.label,t) SortedMap.t | |
| 4 | | Atom of Types.atom | |
| 5 | | Integer of Big_int.big_int | |
| 6 | | Char of Chars.Unichar.t | |
| 7 | | Fun of abstr | |
| 8 | and abstr | |
| 9 | and env | |
| 10 | ||
| 11 | val empty_env : env | val empty_env : env |
| 12 | ||
| 13 | val print: Format.formatter -> t -> unit | val print: Format.formatter -> t -> unit |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |