The Inc and Dec procedures are – for optimization purposes – compiler intrinsics. They can be overridden in the usual manner by declaring a procedure:
But because they are compiler intrinsics, they can also be implemented as operators for custom types: