Functions

Python functions can be defined and called, provided that argument and return types are supplied with the type hints:

def inc(x : int) -> int:
    return x + 1

class State:
    def __init__(self):
        self.x : int = 0      

    def receive_Inc(self):
        self.x : int = inc(self.x)   
            
scenario = ['Inc', 'Inc']

Such standalone functions cannot have any side effects.