MiniAgda-0.2016.12.19: src/Abstract.hs-boot

module Abstract where

data TBinding a