MiniAgda-0.2014.1.9: Abstract.hs-boot

module Abstract where

data TBinding a