WOLFRAM SYSTEM MODELER
    FallingEdgeOutput y is true, if the input u has a falling edge (y = edge(not u))  | 
     | 
SystemModel["Modelica.Blocks.Logical.FallingEdge"]

This information is part of the Modelica Standard Library maintained by the Modelica Association.
The output is true if the Boolean input has a falling edge from true to false, otherwise the output is false.
| pre_u_start | 
         Value: false Type: Boolean Description: Start value of pre(u) at initial time  | 
    
|---|
| u | 
         Type: BooleanInput Description: Connector of Boolean input signal  | 
    |
|---|---|---|
| y | 
         Type: BooleanOutput Description: Connector of Boolean output signal  |