- RTRANSITION f g ef eg sprocedure
Recurrent 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. If the boolean signal eg becomes true, the signal function is switched back to f. s is the name of the state variable that indicates the current state: if false, the state is f, otherwise the state is g.