Module semantics



[hide private]