(module BatISet)