package ocaml-compiler

  1. Overview
  2. Docs
First beta release of OCaml 5.5.0

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (18)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. K
    KC Sivaramakrishnan
  7. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

5.5.0-beta1.tar.gz
sha256=4828cb132d9df1e308127a8c257567deea3d83c4ce3bf0fbe54083ba4a938bcc

doc/odoc_info/Odoc_type/index.html

Module Odoc_type

Representation and manipulation of a type, but not class nor module type.

This module has an implementation although it declares only types. This is because other modules use the let module construct or access it so it is needed as a real module.

module Name = Odoc_name
type private_flag = Asttypes.private_flag =
  1. | Private
  2. | Public
type record_field = {
  1. rf_name : string;
  2. rf_mutable : bool;
  3. rf_atomic : bool;
  4. rf_type : Types.type_expr;
  5. mutable rf_text : Odoc_types.info option;
}

Description of a record type field.

type constructor_args =
  1. | Cstr_record of record_field list
  2. | Cstr_tuple of Types.type_expr list
type variant_constructor = {
  1. vc_name : string;
  2. vc_args : constructor_args;
  3. vc_ret : Types.type_expr option;
  4. mutable vc_text : Odoc_types.info option;
}

Description of a variant type constructor.

type type_kind =
  1. | Type_abstract
  2. | Type_variant of variant_constructor list
  3. | Type_record of record_field list
  4. | Type_open
  5. | Type_external of string
    (*

    The various kinds of type.

    *)
type object_field = {
  1. of_name : string;
  2. of_type : Types.type_expr;
  3. mutable of_text : Odoc_types.info option;
}
type type_manifest =
  1. | Other of Types.type_expr
  2. | Object_type of object_field list
type t_type = {
  1. ty_name : Name.t;
  2. mutable ty_info : Odoc_types.info option;
  3. ty_parameters : (Types.type_expr * Types.Variance.t) list;
  4. ty_kind : type_kind;
  5. ty_private : private_flag;
  6. ty_manifest : type_manifest option;
  7. mutable ty_loc : Odoc_types.location;
  8. mutable ty_code : string option;
}

Representation of a type.