@property
    def name(self):
        return self._name
Return a formula representation of a RET instruction.
dataset/ETHPy150Open home-assistant/home-assistant/homeassistant/components/light/mysensors.py/MySensorsLight.name--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_ret