| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Product.Relation.Unary.All
Documentation
d_All_22 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> T_Σ_14 -> () Source #
| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Product.Relation.Unary.All
d_All_22 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> T_Σ_14 -> () Source #