guppylang
guppylang copied to clipboard
Rename `GuppyModule.get_module` to `GuppyModule.get_implicit_module`
Wouldn't this be better as a new method? We would still want to be able to get an explicit module by name.
Modules no longer exist, I think we can close this.