@property<EOL><INDENT>def layers(self) -> List['<STR_LIT>']:<DEDENT>
<EOL>return RoList(self._layers, True)<EOL>
Return a read-only version of the layers list, so people don't get
tempted to append stuff to the list (which would break the index).