menu
z3 package
documentation
z3.dart
ExprExtension
operator | method
operator | method
dark_mode
light_mode
operator |
method
Expr
operator |
(
Object
other
)
Implementation
Expr operator |(Object other) => or(this, $(other));
z3 package
documentation
z3
ExprExtension
operator | method
ExprExtension extension on
Expr