Module type w.a

module type b = sig ... end