package ocaml-compiler

  1. Overview
  2. Docs
Official release of OCaml 5.5.0

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (17)

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

ocaml-5.5.0.tar.gz
sha256=c018052c8264a3791a8f54f84179e6bcc78ed82eb889bacc2773df445259aed3

doc/compiler-libs.common/Data_types/index.html

Module Data_types

type constructor_description = {
  1. cstr_name : string;
  2. cstr_res : Types.type_expr;
  3. cstr_existentials : Types.type_expr list;
  4. cstr_args : Types.type_expr list;
  5. cstr_arity : int;
  6. cstr_tag : constructor_tag;
  7. cstr_consts : int;
  8. cstr_nonconsts : int;
  9. cstr_generalized : bool;
  10. cstr_private : Asttypes.private_flag;
  11. cstr_loc : Location.t;
  12. cstr_attributes : Parsetree.attributes;
  13. cstr_inlined : Types.type_declaration option;
  14. cstr_uid : Types.Uid.t;
}
and constructor_tag =
  1. | Cstr_constant of int
  2. | Cstr_block of int
  3. | Cstr_unboxed
  4. | Cstr_extension of Path.t * bool
val equal_constr : constructor_description -> constructor_description -> bool
val may_equal_constr : constructor_description -> constructor_description -> bool
val cstr_res_type_path : constructor_description -> Path.t
val cstr_res_type_params : constructor_description -> Types.type_expr list
type label_description = {
  1. lbl_name : string;
  2. lbl_res : Types.type_expr;
  3. lbl_arg : Types.type_expr;
  4. lbl_mut : Asttypes.mutable_flag;
  5. lbl_atomic : Asttypes.atomic_flag;
  6. lbl_pos : int;
  7. lbl_all : label_description array;
  8. lbl_repres : Types.record_representation;
  9. lbl_private : Asttypes.private_flag;
  10. lbl_loc : Location.t;
  11. lbl_attributes : Parsetree.attributes;
  12. lbl_uid : Types.Uid.t;
}
val lbl_res_type_path : label_description -> Path.t