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-10-08T18:21:08Z
by OpenModelicaOpenModelica 1.25.4 using GenerateDoc.mos