Module `Modulescope`

type parameter_frame =
  (Compiler.Ident.t * Compiler.Typedtree.module_type) Containers.Option.t
  * Compiler.Typedtree.module_type list

type module_type_constraint =
  Compiler.Path.t
  * Compiler.Longident.t Asttypes.loc
  * Compiler.Typedtree.with_constraint

type module_constraint =

type frame = private

type t =
  (string * Compiler.Typedtree.signature Containers.Option.t) * frame list

val module_name : t -> string

module_name ((n, _), _) = n

val module_sig : t -> Compiler.Typedtree.signature Containers.Option.t

module_sig ((_, sig), _) = sig

val default_toplevel_name : string

A default name for the the toplevel module of a scope.

val empty : t

The empty module scope with default_toplevel_name.

val peek : t -> frame

peek s returns the top scope frame of s, or raises Invalid_argument if the frame list is empty.

val peek_module : 
  t ->
  Compiler.Ident.t option
  * Elements.Module._sub_t
  * module_constraint
  * parameter_frame list

val peek_module_type : 
  t ->
  Compiler.Ident.t option
  * Elements.ModuleType._sub_t
  * module_type_constraint list list
  * parameter_frame list

val peek_params : t -> parameter_frame list

val push_param : parameter_frame -> t -> t

val frame_id : frame -> Compiler.Ident.t Containers.Option.t

val frame_is_naked : frame -> bool

val enter_module_binding : 
  'a Typedtree_views.module_view ->
  t ->
  t * 'a Typedtree_views.module_expr_view

val enter_include : 
  'a Typedtree_views.include_view ->
  t ->
  t * 'a Typedtree_views.module_expr_view

val enter_module_type_declaration : 
  Compiler.Typedtree.module_type_declaration ->
  t ->
  t * Compiler.Typedtree.module_type Containers.Option.t

val enter_param : Compiler.Ident.t -> t -> t

val find_param : 
  Compiler.Ident.t ->
  t ->
  (parameter_frame * t) Containers.Option.t

val in_frame_sigs : 'a Identifier.Chain.t -> frame -> bool

val to_identifier : 
  ?check_sigs:bool ->
  ?id_tail:Identifier.Chain._t ->
  t ->
  Identifier.Chain._t Containers.Option.t

val pp_frame : frame Containers.Format.printer

package rotor