| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Properties.Preorder
Documentation
d__'8819'__24 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_132 → AgdaAny → AgdaAny → () Source #
d_converse'45'isPreorder_78 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_132 → T_IsPreorder_70 Source #
d_converse'45'preorder_80 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_132 → T_Preorder_132 Source #
d_InducedEquivalence_82 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_132 → T_Setoid_44 Source #