Spec1dot3: Readonly<_SpecProtocol> = ...

Specification v1.3