Safe Haskell	None

MAlonzo.Code.Relation.Binary.Properties.Preorder

Documentation

d_invIsPreorder_64 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_IsPreorder_70 Source #

du_invIsPreorder_64 :: T_Preorder_132 -> T_IsPreorder_70 Source #

d_invPreorder_66 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_Preorder_132 Source #

du_invPreorder_66 :: T_Preorder_132 -> T_Preorder_132 Source #

d_InducedEquivalence_68 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_Setoid_44 Source #

du_InducedEquivalence_68 :: T_Preorder_132 -> T_Setoid_44 Source #