Documentation

d_'8776''8658''8801'_6 :: Word64 -> Word64 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'reflexive_8 :: Word64 -> Word64 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'refl_10 :: Word64 -> T__'8801'__12 #

d_'8776''45'sym_12 :: Word64 -> Word64 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'trans_14 :: Word64 -> Word64 -> Word64 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'subst_18 :: T_Level_18 -> (Word64 -> ()) -> Word64 -> Word64 -> T__'8801'__12 -> AgdaAny -> AgdaAny #

du_'8776''45'subst_18 :: AgdaAny -> AgdaAny #

d__'8776''63'__26 :: Word64 -> Word64 -> T_Dec_20 #

d_'8776''45'isEquivalence_32 :: T_IsEquivalence_26 #

d_'8776''45'setoid_46 :: T_Setoid_44 #

d_'8776''45'isDecEquivalence_48 :: T_IsDecEquivalence_44 #

d_'8776''45'decSetoid_50 :: T_DecSetoid_84 #

d__'8799'__52 :: Word64 -> Word64 -> T_Dec_20 #

d_'8801''45'setoid_58 :: T_Setoid_44 #

d_'8801''45'decSetoid_60 :: T_DecSetoid_84 #

d__'61''61'__62 :: Word64 -> Word64 -> Bool #

d__'60''63'__68 :: Word64 -> Word64 -> T_Dec_20 #

d_'60''45'strictTotalOrder'45''8776'_70 :: T_StrictTotalOrder_1036 #