(
module
BatBounded
)