from instances import app_state, TEMPERATURE_SENSOR, SWITCH

def invariant() -> bool:
    # Write the invariants of the app here
    # It can be any boolean expressions containing the read properties of the devices and constants
    # You CANNOT use external libraries here, nor `periodic` or `on_trigger` functions
    return True


def iteration():
    # Write your app code here
    # You CANNOT use external libraries here, encapsulate calls to those in functions whose names start
    # with "periodic" or "on_trigger" (see documentation) and use these functions instead
    pass
