| | | Types | Documentation and user's manual | Table of contents | OCaml programs |
There are built-in types, for instance int and bool .
|
| New types can be defined. |
| Recursive definitions of types are allowed, and even mutually recursive ones. |
| | | Types | Documentation and user's manual | Table of contents | OCaml programs |