module T:sig
..end
T
to bring constructor names in scope, typically for pattern-matching.type 'a
desc =
| |
Array : |
| |
Product : |
| |
Record : |
| |
Synonym : |
| |
Variant of |
| |
Extensible of |
| |
Custom of |
| |
Class of |
| |
Abstract |
| |
NoDesc |