package melange-compiler-libs

  1. Overview
  2. Docs
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.