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-07-05T18:21:24Z
by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos