| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Properties.Preorder
Documentation
d__'8764''7506'__26 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_142 → AgdaAny → AgdaAny → () Source #
d_converse'45'isPreorder_86 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_142 → T_IsPreorder_76 Source #
d_converse'45'preorder_88 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_142 → T_Preorder_142 Source #
d_InducedEquivalence_90 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_142 → T_Setoid_46 Source #