blob: 2b6a37e453c3da87079c7fff1b9e27221905833e (
plain)
1
2
3
4
5
|
data family T15845.F1 (a_0 :: *) (b_1 :: *) :: *
data instance forall (a_2 :: *) (b_3 :: *). T15845.F1 ([a_2]) b_3
= T15845.MkF1
data family T15845.F2 (a_0 :: *) :: *
data instance forall (a_1 :: *). T15845.F2 a_1 = T15845.MkF2
|