module Rtt_type: sig
.. end
Runtime representation of types.
This module is the public interface for the runtime representation
types. These types are mostly an adaptation of types found in the
Types
module of the compiler.
Runtime representation of types
type
primitive_type =
| |
Int |
| |
Char |
| |
String |
| |
Float |
| |
Bool |
| |
Unit |
| |
Exn |
| |
Array |
| |
Format6 |
| |
Nativeint |
| |
Int32 |
| |
Int64 |
| |
Lazy_t |
type
label = string
type
commutable =
type
rttype =
The type of runtime representations of types
Runtime representation of type constructor declarations
type
type_declaration = {
|
type_params :string list ; |
|
type_arity :int ; |
|
type_kind :type_kind ; |
|
type_name :string ; |
|
type_static_id :int ; |
|
type_dynamic_id :int ; |
|
type_modname :string ; |
|
type_manifest :rttype option ; |
}
The type of runtime representations of type declarations
type
type_kind =
| |
Type_primitive of primitive_type |
| |
Type_abstract |
| |
Type_variant of (string * rttype list) list |
| |
Type_record of (string * rttype) list |