Well yes, but this code comes from a code base shared with Delphi. And with Delphi, it is mandatory that the getters/setters are declared in the interface itself. And the implementor only has to declare the getters/setters functions; not the properties.
But what’s more puzzling is that IndexedIntProperty does not need to be implemented as a property like IntProperty must be.