module T7672a(Decl.T) where
import {-# SOURCE #-} qualified T7672 as Decl