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-01-29T19:15:51Z
by OpenModelicaOpenModelica 1.26.1 using GenerateDoc.mos