A polymorphic qualifier for the signedness type system.

When two formal parameter types are annotated with @PolySigned, the two arguments must have the same signedness type annotation. (This differs from the standard rule for polymorphic qualifiers.)