number property

@override int get number

The codespecs_derivation_contract.md §6 row number.

Implementation

@override
int get number => 35;