Documentation

d_A'7522'_24 :: T_Level_14 -> () -> T_Level_14 -> () -> AgdaAny -> () Source #

d_isIndexedEquivalence_32 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_IsIndexedEquivalence_22 Source #

du_isIndexedEquivalence_32 :: T_IsEquivalence_26 -> T_IsIndexedEquivalence_22 Source #

d_isIndexedPreorder_60 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> T_IsIndexedPreorder_44 Source #

du_isIndexedPreorder_60 :: T_IsPreorder_70 -> T_IsIndexedPreorder_44 Source #

d_indexedSetoid_100 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_IndexedSetoid_18 Source #

du_indexedSetoid_100 :: T_Setoid_44 -> T_IndexedSetoid_18 Source #

d_indexedPreorder_136 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_IndexedPreorder_60 Source #

du_indexedPreorder_136 :: T_Preorder_132 -> T_IndexedPreorder_60 Source #