refine module declaration