menu
z3 package
documentation
z3.dart
ExprExtension
iff method
iff method
dark_mode
light_mode
iff
method
Expr
iff
(
Object
other
)
Implementation
Expr iff(Object other) => BinaryOp(BinaryOpKind.eq, this, $(other)).declare();
z3 package
documentation
z3
ExprExtension
iff method
ExprExtension extension on
Expr