menu
z3 package
documentation
z3.dart
setSort function
setSort function
dark_mode
light_mode
setSort
function
SetSort
setSort
(
Sort
domain
)
Implementation
SetSort setSort(Sort domain) => SetSort(domain).declare();
z3 package
documentation
z3
setSort function
z3 library