The type of size of RepresentableTypes in protocol.py is currently Optional[int]. This should be Optional[Expression]. This change is not trivial: Array types can set their size by multiplying their length, and this requires constructing an Expression. At present, this would require access to the parent Protocol type.
The type of
sizeofRepresentableTypes inprotocol.pyis currentlyOptional[int]. This should beOptional[Expression]. This change is not trivial:Arraytypes can set their size by multiplying theirlength, and this requires constructing anExpression. At present, this would require access to the parentProtocoltype.