MiniAgda-0.2014.1.9: test/succeed/MockSig.ma

-- 2010-06-19

data MockSig ++(A : Set) ++(B : .A -> Set) : Set
{ pair : (fst : A) -> (snd : B fst) -> MockSig A B
}