so it sounds like the type that is currently called `Platfor

Question

so it sounds like the type that is currently called `Platform` in rust should really be called `PlatformConstraint`