.
CRML
.
Blocks
.
Logical4
.
bImplies4
Implies operator on two Boolean4: u1 implies u2
Generated at 2026-07-26T20:40:21Z by
OpenModelica
OpenModelica 1.27.0 using
GenerateDoc.mos
.CRML.Blocks.Logical4.bImplies4