module BoolAt::Macro