- TRANSITION f g ef eprocedure
Singularly occurring transition: constructs a signal function that behaves like f until the boolean signal specified by ef is true, when the signal function is switched to behave like g. s is the name of the state variable that indicates the current state: if false, the state is f, otherwise the state is g.