Documentation

d_'8776''8658''8801'_6 :: T_String_6 -> T_String_6 -> T_Pointwise_48 -> T__'8801'__12 Source #

d_'8776''45'reflexive_8 :: T_String_6 -> T_String_6 -> T__'8801'__12 -> T_Pointwise_48 Source #

du_'8776''45'reflexive_8 :: T_String_6 -> T_Pointwise_48 Source #

d_'8776''45'refl_10 :: T_String_6 -> T_Pointwise_48 Source #

d_'8776''45'sym_14 :: T_String_6 -> T_String_6 -> T_Pointwise_48 -> T_Pointwise_48 Source #

d_'8776''45'trans_16 :: T_String_6 -> T_String_6 -> T_String_6 -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 Source #

d_'8776''45'subst_20 :: T_Level_14 -> (T_String_6 -> ()) -> T_String_6 -> T_String_6 -> T_Pointwise_48 -> AgdaAny -> AgdaAny Source #

du_'8776''45'subst_20 :: AgdaAny -> AgdaAny Source #

d__'8776''63'__28 :: T_String_6 -> T_String_6 -> T_Dec_32 Source #

d_'8776''45'isEquivalence_34 :: T_IsEquivalence_26 Source #

d_'8776''45'setoid_48 :: T_Setoid_44 Source #

d_'8776''45'isDecEquivalence_50 :: T_IsDecEquivalence_44 Source #

d_'8776''45'decSetoid_52 :: T_DecSetoid_84 Source #

d__'8799'__54 :: T_String_6 -> T_String_6 -> T_Dec_32 Source #

d_'8801''45'setoid_60 :: T_Setoid_44 Source #

d_'8801''45'decSetoid_62 :: T_DecSetoid_84 Source #

d__'60''63'__64 :: T_String_6 -> T_String_6 -> T_Dec_32 Source #

d_'60''45'isStrictPartialOrder'45''8776'_70 :: T_IsStrictPartialOrder_266 Source #

d_'60''45'isStrictTotalOrder'45''8776'_72 :: T_IsStrictTotalOrder_498 Source #

d_'60''45'strictPartialOrder'45''8776'_74 :: T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder'45''8776'_76 :: T_StrictTotalOrder_860 Source #

d_'8804''45'isDecPartialOrder'45''8776'_78 :: T_IsDecPartialOrder_206 Source #

d_'8804''45'isDecTotalOrder'45''8776'_80 :: T_IsDecTotalOrder_430 Source #

d_'8804''45'decTotalOrder'45''8776'_82 :: T_DecTotalOrder_736 Source #

d_'8804''45'decPoset'45''8776'_84 :: T_DecPoset_360 Source #

d__'61''61'__86 :: T_String_6 -> T_String_6 -> Bool Source #

d_setoid_100 :: T_Setoid_44 Source #

d_decSetoid_102 :: T_DecSetoid_84 Source #

d_strictTotalOrder_104 :: T_StrictTotalOrder_860 Source #