menu
z3 package
documentation
z3.dart
z3GlobalWarningMessages function
z3GlobalWarningMessages function
dark_mode
light_mode
z3GlobalWarningMessages
function
void
z3GlobalWarningMessages
(
bool
enabled
)
Implementation
void z3GlobalWarningMessages(bool enabled) => _libz3.toggle_warning_messages(enabled);
z3 package
documentation
z3
z3GlobalWarningMessages function
z3 library