menu
z3 package
documentation
z3.dart
getSortName function
getSortName function
dark_mode
light_mode
getSortName
function
String
getSortName
(
Sort
sort
)
Implementation
String getSortName(Sort sort) => (currentContext.getSortName(sort) as StringSym).value;
z3 package
documentation
z3
getSortName function
z3 library