Module type T.T1

module type T1 = sig .. end

type 'a t