menu
anteater package
documentation
reasoner/abstract/bounds_checker.dart
BoundsCheckResult
arrayLength property
arrayLength property
dark_mode
light_mode
arrayLength
property
int
?
arrayLength
final
The known array length (if available).
Implementation
final int? arrayLength;
anteater package
documentation
reasoner/abstract/bounds_checker
BoundsCheckResult
arrayLength property
BoundsCheckResult class