How to close a namespace after it is opened?

Stream: new members

[Ziyuan]

I cannot find it in the documentation. I understand we can do

open List

#check nil
#check cons
#check map

But how to "close" the namespace List?

[Kevin Buzzard]

You can open List inside a section ListyStuff and then after end ListyStuff it will be closed again.

[Kevin Buzzard]

But how to "close" a namespace?

Also namespace Foo then open List then end Foo. I don't like that end is used to close both sections and namespaces, but that's another discussion.

[Ziyuan]

Kevin Buzzard

Sorry I was editing my post. So how about a top-level open that is not inside a namespace?

[Kevin Buzzard]

This can't be closed as far as I know.

[Ziyuan]

Kevin Buzzard said:

This can't be closed as far as I know.

OK! Good to know.

[Kevin Buzzard]

Why would you want to close it? There might be other solutions.

[Ziyuan]

Kevin Buzzard said:

Why would you want to close it? There might be other solutions.

I am just curious as a new learner.