blob: 1230c63897974534891b54aa7fb355f951bd98fa (
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 ->
GHC.Types.Int -> Main.GADT GHC.Types.Int
Nothing
Just (Fixity 7 InfixR)
1 :****: 4
|
