Documentation

d__'8846''45''8660'__28 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> T_Equivalence_16 -> T_Equivalence_16 -> T_Equivalence_16 Source #

du__'8846''45''8660'__28 :: T_Equivalence_16 -> T_Equivalence_16 -> T_Equivalence_16 Source #

d__'8846''45''8611'__38 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> T_Injection_88 -> T_Injection_88 -> T_Injection_88 Source #

du__'8846''45''8611'__38 :: T_Injection_88 -> T_Injection_88 -> T_Injection_88 Source #

d__'8846''45''8606'__48 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> T_LeftInverse_82 -> T_LeftInverse_82 -> T_LeftInverse_82 Source #

du__'8846''45''8606'__48 :: T_LeftInverse_82 -> T_LeftInverse_82 -> T_LeftInverse_82 Source #

d__'8846''45''8608'__58 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> T_Surjection_54 -> T_Surjection_54 -> T_Surjection_54 Source #

du__'8846''45''8608'__58 :: T_Surjection_54 -> T_Surjection_54 -> T_Surjection_54 Source #

d__'8846''45''8596'__68 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> T_Inverse_58 -> T_Inverse_58 -> T_Inverse_58 Source #

du__'8846''45''8596'__68 :: T_Inverse_58 -> T_Inverse_58 -> T_Inverse_58 Source #

d__'8846''45'cong__100 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> T_Kind_6 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du__'8846''45'cong__100 :: T_Kind_6 -> AgdaAny -> AgdaAny -> AgdaAny Source #