package melange-compiler-libs

  1. Overview
  2. Docs
package melange-compiler-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Subst.LazySource

Sourcetype module_decl = {
  1. mdl_type : modtype;
  2. mdl_attributes : Parsetree.attributes;
  3. mdl_loc : Location.t;
  4. mdl_uid : Melange_compiler_libs.Types.Uid.t;
}
Sourceand modtype =
  1. | MtyL_ident of Path.t
  2. | MtyL_signature of signature
  3. | MtyL_functor of functor_parameter * modtype
  4. | MtyL_alias of Path.t
Sourceand modtype_declaration = {
  1. mtdl_type : modtype option;
  2. mtdl_attributes : Parsetree.attributes;
  3. mtdl_loc : Location.t;
  4. mtdl_uid : Melange_compiler_libs.Types.Uid.t;
}
Sourceand signature
Sourceand signature_item =
  1. | SigL_value of Ident.t * Types.value_description * Types.visibility
  2. | SigL_type of Ident.t * Types.type_declaration * Types.rec_status * Types.visibility
  3. | SigL_typext of Ident.t * Types.extension_constructor * Types.ext_status * Types.visibility
  4. | SigL_module of Ident.t * Types.module_presence * module_decl * Types.rec_status * Types.visibility
  5. | SigL_modtype of Ident.t * modtype_declaration * Types.visibility
  6. | SigL_class of Ident.t * Types.class_declaration * Types.rec_status * Types.visibility
  7. | SigL_class_type of Ident.t * Types.class_type_declaration * Types.rec_status * Types.visibility
Sourceand functor_parameter =
  1. | Unit
  2. | Named of Ident.t option * modtype
Sourceval of_modtype : Types.module_type -> modtype
Sourceval of_signature : Types.signature -> signature
Sourceval of_signature_items : signature_item list -> signature
Sourceval of_signature_item : Types.signature_item -> signature_item
Sourceval module_decl : scoping -> t -> module_decl -> module_decl
Sourceval modtype : scoping -> t -> modtype -> modtype
Sourceval signature : scoping -> t -> signature -> signature
Sourceval signature_item : scoping -> t -> signature_item -> signature_item
Sourceval force_module_decl : module_decl -> Types.module_declaration
Sourceval force_modtype : modtype -> Types.module_type
Sourceval force_signature : signature -> Types.signature
Sourceval force_signature_once : signature -> signature_item list
Sourceval force_signature_item : signature_item -> Types.signature_item
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