package rotor

  1. Overview
  2. Docs
package rotor
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Types_views

type _module_type =
  1. | Ex : 'a module_type -> _module_type
type 'a module_type_view =
  1. | Mty_immediate of 'a module_type
  2. | Mty_ident of 'a Elements.ModuleType.sub_t * Compiler.Path.t
  3. | Mty_alias of 'a Elements.ModuleType.sub_t * Compiler.Path.t
type 'a module_declaration_view = {
  1. md_type : 'a module_type_view;
  2. md_attributes : Parsetree.attributes;
  3. md_loc : Compiler.Location.t;
}
type 'a modtype_declaration_view = {
  1. mtd_type : 'a module_type_view option;
  2. mtd_attributes : Parsetree.attributes;
  3. mtd_loc : Compiler.Location.t;
}
type parameter_view =
  1. | Functor of Compiler.Types.module_type option * int
val mk_item_view : (string, 'a) Identifier.Atom.t -> Compiler.Types.signature_item -> 'a item_element_view option
val item_ident : 'a item_element_view -> Compiler.Ident.t