module type X  = Foo
module type X  = Foo[@@attr ]