Module type u.a

module type b = sig ... end