| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
Documentation
d_AllPairs_20 :: p -> p -> p -> p -> p -> () #
data T_AllPairs_20 #
Constructors
| C_'91''93'_22 | |
| C__'8759'__28 T_All_44 T_AllPairs_20 |
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
d_AllPairs_20 :: p -> p -> p -> p -> p -> () #
data T_AllPairs_20 #
Constructors
| C_'91''93'_22 | |
| C__'8759'__28 T_All_44 T_AllPairs_20 |