package odoc

  1. Overview
  2. Docs
package odoc
Legend:
Library
Module
Module type
Parameter
Class
Class type
type visibility =
  1. | Exported
  2. | Hidden
type module_type =
  1. | Mty_ident of Path.t
  2. | Mty_signature of signature
  3. | Mty_functor of functor_parameter * module_type
  4. | Mty_alias of Path.t
and functor_parameter =
  1. | Unit
  2. | Named of Ident.t option * module_type
and module_presence =
  1. | Mp_present
  2. | Mp_absent
and signature = signature_item list
and signature_item =
  1. | Sig_value of Ident.t * Types.value_description * visibility
  2. | Sig_type of Ident.t * Types.type_declaration * Types.rec_status * visibility
  3. | Sig_typext of Ident.t * Types.extension_constructor * Types.ext_status * visibility
  4. | Sig_module of Ident.t * module_presence * module_declaration * Types.rec_status * visibility
  5. | Sig_modtype of Ident.t * modtype_declaration * visibility
  6. | Sig_class of Ident.t * Types.class_declaration * Types.rec_status * visibility
  7. | Sig_class_type of Ident.t * Types.class_type_declaration * Types.rec_status * visibility
and module_declaration = {
  1. md_type : module_type;
  2. md_attributes : Parsetree.attributes;
  3. md_loc : Location.t;
}
and modtype_declaration = {
  1. mtd_type : module_type option;
  2. mtd_attributes : Parsetree.attributes;
  3. mtd_loc : Location.t;
}
val opt : ('a -> 'b) -> 'a option -> 'b option
val signature : Types.signature -> signature
val signature_item : Types.signature_item -> signature_item
val visibility : Types.visibility -> visibility
val module_type : Types.module_type -> module_type
val functor_parameter : Types.functor_parameter -> functor_parameter
val module_presence : Types.module_presence -> module_presence
val module_declaration : Types.module_declaration -> module_declaration
val modtype_declaration : Types.modtype_declaration -> modtype_declaration
type shape = Shape.t
type 'a shape_uid_map = 'a Shape.Uid.Map.t
type uid_to_loc = Warnings.loc Types.Uid.Tbl.t
val empty_map : 'a Shape.Uid.Map.t
val shape_of_cmt_infos : Cmt_format.cmt_infos -> shape option
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct