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-24T20:18:51Z by OpenModelicaOpenModelica 1.26.9 using
GenerateDoc.mos