blob: f710d847c8048acf243cbadcc4cca1c4f3684cb6 (
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
|
