MiniAgda-0.2022.3.11: test/succeed/MultiSigma.ma

-- 2012-02-24

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