Describe top-level module interface