type constant =
| Const_int of int |
| Const_char of char |
| Const_string of string * string option |
| Const_float of string |
| Const_int32 of int32 |
| Const_int64 of int64 |
| Const_nativeint of nativeint |
type rec_flag =
| Nonrecursive |
| Recursive |
type arg_label =
| Nolabel |
| Labelled of string |
| Optional of string |
type variance =
| Covariant |
| Contravariant |
| Invariant |