Module bounds 

Bounds Checking Module

Runtime bounds checking for arrays and integers.

Structs

BoundsChecker

Bounds checker

BoundsConfig

Bounds check configuration

Enums

OverflowCheck

Integer overflow check result