Module type a.b

module type c = sig ... end