menu
fixed_z3 package
documentation
z3.dart
seqUnit function
seqUnit function
dark_mode
light_mode
seqUnit
function
Expr
seqUnit
(
Expr
x
)
Implementation
Expr seqUnit(Expr x) => UnaryOp(UnaryOpKind.seqUnit, x).declare();
fixed_z3 package
documentation
z3
seqUnit function
z3 library