package melange-compiler-libs

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

Module Melange_compiler_libs.MtypeSource

Sourceval scrape_for_functor_arg : Env.t -> Types.module_type -> Types.module_type
Sourceval scrape_for_type_of : remove_aliases:bool -> Env.t -> Types.module_type -> Types.module_type
Sourceval freshen : scope:int -> Types.module_type -> Types.module_type
Sourceval strengthen : aliasable:bool -> Env.t -> Types.module_type -> Path.t -> Types.module_type
Sourceval strengthen_decl : aliasable:bool -> Env.t -> Types.module_declaration -> Path.t -> Types.module_declaration
Sourceval nondep_supertype : Env.t -> Ident.t list -> Types.module_type -> Types.module_type
Sourceval nondep_sig_item : Env.t -> Ident.t list -> Types.signature_item -> Types.signature_item
Sourceval no_code_needed : Env.t -> Types.module_type -> bool
Sourceval no_code_needed_sig : Env.t -> Types.signature -> bool
Sourceval enrich_modtype : Env.t -> Path.t -> Types.module_type -> Types.module_type
Sourceval enrich_typedecl : Env.t -> Path.t -> Ident.t -> Types.type_declaration -> Types.type_declaration
Sourceval type_paths : Env.t -> Path.t -> Types.module_type -> Path.t list
Sourceval contains_type : Env.t -> Types.module_type -> bool
Sourceval lower_nongen : int -> Types.module_type -> unit