Spec1dot5: Readonly<_SpecProtocol> = ...

Specification v1.5