what does `export` do?

Stream: new members

[Eric Rodriguez]

i've seen in many files export, and I can't seem to figure out what it does... it doesn't seem to be in the #glossary either.

[Horatiu Cheval]

I think it makes names visible outside of the namespace they are defined in. For instance here you can always use dist without having to type has_dist.dist or writing open has_dist (dist) first, because dist is exported