Output y is true, if the input u has a falling edge, otherwise it is false (y = edge(not u))
A falling edge of the Boolean input u results in y = true at this
time instant. At all other time instants, y = false.
Generated at 2025-04-02T18:24:35Z
by OpenModelicaOpenModelica 1.24.5 using GenerateDoc.mos