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 2026-06-03T20:21:09Z by OpenModelicaOpenModelica 1.26.7 using
GenerateDoc.mos