(
module
BatEnum
)