MiniAgda-0.2014.1.9: test/succeed/MultiSigma.ma

-- 2012-02-24

let test = (A, B : Set) & Set