menu
z3 package
documentation
z3.dart
arraySortN function
arraySortN function
dark_mode
light_mode
arraySortN
function
ArraySort
arraySortN
(
List
<
Sort
>
domain
,
Sort
range
)
Implementation
ArraySort arraySortN(List<Sort> domain, Sort range) => ArraySort(domain, range).declare();
z3 package
documentation
z3
arraySortN function
z3 library