Module type Basic.a

module type b = s
module M : b