Shared via CrossHair Playground

main.py

from typing import Final

class Cat:
    legs: Final[int] = 4

def walk(cat: Cat, strides: int) -> int:
    '''
    pre: strides > 0
    post: __return__ >= 4
    '''
    return strides * self.legs