menu
z3 package
documentation
z3.dart
getDatatypeInfo function
getDatatypeInfo function
dark_mode
light_mode
getDatatypeInfo
function
DatatypeInfo
getDatatypeInfo
(
DatatypeSort
sort
)
Implementation
DatatypeInfo getDatatypeInfo(DatatypeSort sort) => currentContext.getDatatypeInfo(sort);
z3 package
documentation
z3
getDatatypeInfo function
z3 library