To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package ocaml-base-compiler
-
dynlink
-
graphics
-
ocamlbytecomp
-
ocamlcommon
-
ocamloptcomp
-
odoc_info
-
raw_spacetime_lib
-
-
str
-
threads
-
unix
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val scrape : Env.t -> Types.module_type -> Types.module_typeval scrape_for_functor_arg : Env.t -> Types.module_type -> Types.module_typeval scrape_for_type_of :
remove_aliases:bool ->
Env.t ->
Types.module_type ->
Types.module_typeval freshen : Types.module_type -> Types.module_typeval strengthen :
aliasable:bool ->
Env.t ->
Types.module_type ->
Path.t ->
Types.module_typeval strengthen_decl :
aliasable:bool ->
Env.t ->
Types.module_declaration ->
Path.t ->
Types.module_declarationval nondep_supertype :
Env.t ->
Ident.t ->
Types.module_type ->
Types.module_typeval no_code_needed : Env.t -> Types.module_type -> boolval no_code_needed_sig : Env.t -> Types.signature -> boolval enrich_modtype : Env.t -> Path.t -> Types.module_type -> Types.module_typeval enrich_typedecl :
Env.t ->
Path.t ->
Ident.t ->
Types.type_declaration ->
Types.type_declarationval type_paths : Env.t -> Path.t -> Types.module_type -> Path.t listval contains_type : Env.t -> Types.module_type -> boolval lower_nongen : int -> Types.module_type -> unit