menu
anteater package
documentation
reasoner/abstract/bounds_checker.dart
BoundsCheckResult
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/bounds_checker
BoundsCheckResult
reason property
BoundsCheckResult class