package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.06.1 release

Install

sha256=fef12a65cab5f6d15ea22a72e328349530e179308f1005100e45e50a228d72c4

md5=d02eb67b828de22c3f97d94b3c46acba

val scrape : Env.t -> Types.module_type -> Types.module_type

val freshen : Types.module_type -> Types.module_type

val strengthen : 
  aliasable:bool ->
  Env.t ->
  Types.module_type ->
  Path.t ->
  Types.module_type

val strengthen_decl : 
  aliasable:bool ->
  Env.t ->
  Types.module_declaration ->
  Path.t ->
  Types.module_declaration

val nondep_supertype : 
  Env.t ->
  Ident.t ->
  Types.module_type ->
  Types.module_type

val no_code_needed : Env.t -> Types.module_type -> bool

val no_code_needed_sig : Env.t -> Types.signature -> bool

val enrich_modtype : Env.t -> Path.t -> Types.module_type -> Types.module_type

val enrich_typedecl : 
  Env.t ->
  Path.t ->
  Types.type_declaration ->
  Types.type_declaration

val type_paths : Env.t -> Path.t -> Types.module_type -> Path.t list

val contains_type : Env.t -> Types.module_type -> bool

val remove_aliases : Env.t -> Types.module_type -> Types.module_type

val lower_nongen : int -> Types.module_type -> unit