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-05-08T18:20:46Z
by OpenModelicaOpenModelica 1.25.0 using GenerateDoc.mos