ocaml-base-compiler

Official release 4.12.1
Library odoc_info
Module Odoc_type
module Name = Odoc_name
type private_flag = Asttypes.private_flag =
| Private
| Public
type record_field = {
rf_name : string;
rf_mutable : bool;
rf_type : Types.type_expr;
mutable rf_text : Odoc_types.info option;
}
type constructor_args =
| Cstr_record of record_field list
| Cstr_tuple of Types.type_expr list
type variant_constructor = {
vc_name : string;
vc_args : constructor_args;
vc_ret : Types.type_expr option;
mutable vc_text : Odoc_types.info option;
}
type type_kind =
| Type_abstract
| Type_variant of variant_constructor list
| Type_record of record_field list
| Type_open
type object_field = {
of_name : string;
of_type : Types.type_expr;
mutable of_text : Odoc_types.info option;
}
type type_manifest =
| Other of Types.type_expr
| Object_type of object_field list
type t_type = {
ty_name : Name.t;
mutable ty_info : Odoc_types.info option;
ty_parameters : (Types.type_expr * bool * bool) list;
ty_kind : type_kind;
ty_private : private_flag;
ty_manifest : type_manifest option;
mutable ty_loc : Odoc_types.location;
mutable ty_code : string option;
}