a default module name?

[Ryan Gardner]

say I have code:

type foo

   a

end

module MyModule

   #how do I use foo here?

   #can I

   import <something>.foo

   #??

end

There must be a way to use global types in modules.  Is there a name for the "global module" (if you will).  Thanks.

[Ryan Gardner]

Oh, Main

import Main.foo

Thanks.

[Yichao Yu]

On Wed, Oct 26, 2016 at 3:46 PM, Ryan Gardner <rwga...@gmail.com> wrote:
> Oh, Main
>
> import Main.foo


import ..foo