Module rotation_validation 

Spec-aware rotation-name validation.

Functions

validate_rotation_for_spec

Resolve every name referenced by rotation against one specialization.