module type T = sig ... end