module PropMeasure where

nil  = []