blob: 782005a4fb09c3fdf0889c28a0bf5ce7c15a1cd9 (
plain)
1
2
3
4
5
6
7
8
9
10
|
data Main.GADT (a_0 :: *) where
Main.Prefix :: GHC.Types.Int ->
GHC.Types.Int -> Main.GADT GHC.Types.Int
(Main.:***:) :: GHC.Types.Int ->
GHC.Types.Int -> Main.GADT GHC.Types.Int
Constructor from Main.GADT: (Main.:***:) :: GHC.Types.Int %1 ->
GHC.Types.Int %1 -> Main.GADT GHC.Types.Int
Nothing
Just (Fixity 7 InfixR)
1 :****: 4
|
