-record(has_batchim_options, {only :: hanguleam@batchim:batchim_only_filter()}).