(
module
BatBool
)