MiniAgda-0.2022.3.11: test/succeed/MockSig.ma
-- 2010-06-19
data MockSig ++(A : Set) ++(B : .A -> Set) : Set
{ pair : (fst : A) -> (snd : B fst) -> MockSig A B
}
-- 2010-06-19
data MockSig ++(A : Set) ++(B : .A -> Set) : Set
{ pair : (fst : A) -> (snd : B fst) -> MockSig A B
}