menu
fixed_z3 package
documentation
z3.dart
reUnionN function
reUnionN function
dark_mode
light_mode
reUnionN
function
NaryOp
reUnionN
(
Iterable
<
Expr
>
args
)
Implementation
NaryOp reUnionN(Iterable<Expr> args) => NaryOp(NaryOpKind.reUnion, args.toList()).declare();
fixed_z3 package
documentation
z3
reUnionN function
z3 library