module BoolMeasure where

nil  = []