Core.Scopes
val transform_view :
shadowing:bool ->
pp:(Stdlib.Format.formatter -> CodeUnit.Global.t -> unit) ->
Namespace.pattern ->
t ->
(t, 'error) Namespace.result
val transform_export :
shadowing:bool ->
pp:(Stdlib.Format.formatter -> CodeUnit.Global.t -> unit) ->
Namespace.pattern ->
t ->
(t, 'error) Namespace.result
val export_view :
shadowing:bool ->
pp:(Stdlib.Format.formatter -> CodeUnit.Global.t -> unit) ->
Namespace.pattern ->
t ->
(t, 'error) Namespace.result
val add :
shadowing:bool ->
Ident.t ->
CodeUnit.Global.t ->
t ->
(t, 'error) Namespace.result
val import : shadowing:bool -> Namespace.t -> t -> (t, 'error) Namespace.result
val end_ :
shadowing:bool ->
prefix:Namespace.path option ->
t ->
(t, 'error) Namespace.result
val resolve : Ident.t -> t -> CodeUnit.Global.t option
val export_top : t -> Namespace.t