Documentation

d__'8819'__24 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> () #

d_converse'45'isPreorder_78 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_IsPreorder_70 #

du_converse'45'isPreorder_78 :: T_Preorder_132 -> T_IsPreorder_70 #

d_converse'45'preorder_80 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_Preorder_132 #

du_converse'45'preorder_80 :: T_Preorder_132 -> T_Preorder_132 #

d_InducedEquivalence_82 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_Setoid_44 #

du_InducedEquivalence_82 :: T_Preorder_132 -> T_Setoid_44 #

d_invIsPreorder_88 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_IsPreorder_70 #

du_invIsPreorder_88 :: T_Preorder_132 -> T_IsPreorder_70 #

d_invPreorder_90 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_Preorder_132 #

du_invPreorder_90 :: T_Preorder_132 -> T_Preorder_132 #