Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val lookup_value :
?loc:Location.t ->
?mark:bool ->
Longident.t ->
Env.t ->
Path.t * Types.value_description
val get_desc : Types.type_expr -> Types.type_desc
val toploop_get_directive : string -> Toploop.directive_fun option
val lookup_module : Longident.t -> Env.t -> Path.t * Types.module_type
val lookup_label :
?loc:Location.t ->
?mark:bool ->
Longident.t ->
Env.t ->
Types.label_description
val lookup_modtype :
?loc:Location.t ->
?mark:bool ->
Longident.t ->
Env.t ->
Path.t * Types.modtype_declaration
val lookup_constructor :
?loc:Location.t ->
?mark:bool ->
Longident.t ->
Env.t ->
Types.constructor_description
val lookup_class :
?loc:Location.t ->
?mark:bool ->
Longident.t ->
Env.t ->
Path.t * Types.class_declaration
val longident_parse : string -> Longident.t
val lookup_type : Longident.t -> Env.t -> Path.t * Types.type_declaration
val toploop_use_silently : Format.formatter -> string -> bool
module Persistent_signature = Persistent_env.Persistent_signature
val toploop_load_file : Format.formatter -> string -> bool
val iter_structure :
((Typedtree.expression -> unit) -> Typedtree.expression -> unit) ->
Typedtree.structure ->
unit
val is_persistent_path : Path.t -> bool
Returns whether the given path is persistent.