menu
fixed_z3 package
documentation
z3.dart
seqSuffix function
seqSuffix function
dark_mode
light_mode
seqSuffix
function
BinaryOp
seqSuffix
(
Expr
x
,
Expr
y
)
Implementation
BinaryOp seqSuffix(Expr x, Expr y) => BinaryOp(BinaryOpKind.seqSuffix, x, y).declare();
fixed_z3 package
documentation
z3
seqSuffix function
z3 library