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-07-14T20:35:41Z by OpenModelicaOpenModelica 1.27.0 using
GenerateDoc.mos