menu
anteater package
documentation
reasoner/abstract/null_verifier.dart
NullCheckResult
reason property
reason property
dark_mode
light_mode
reason
property
String
reason
final
Human-readable reason for the result.
Implementation
final String reason;
anteater package
documentation
reasoner/abstract/null_verifier
NullCheckResult
reason property
NullCheckResult class