-- re-export all of T module Mod117_B (T(..)) where import Mod117_A ( T(T,m1),m2 )