Documentation

d_'8759''45'injective_46 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T__'8801'__12 -> T_Σ_14 #

du_'8759''45'injective_46 :: T_Σ_14 #

d_'8759''45'injective'737'_48 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'8759''45'injective'691'_50 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'8759''45'dec_52 :: T_Level_18 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

du_'8759''45'dec_52 :: T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

d_'8801''45'dec_58 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T_Dec_20 #

du_'8801''45'dec_58 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T_Dec_20 #

d_map'45'id_84 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_map'45'id'45'local_98 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 #

d_map'45''43''43'_110 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_map'45'cong_130 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'cong'45'local_148 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 #

d_length'45'map_158 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45''8728'_172 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'injective_182 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_length'45''43''43'_208 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_Associative_246 :: T_Level_18 -> () -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_Cancellative_248 :: T_Level_18 -> () -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_Conical_256 :: T_Level_18 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_Identity_266 :: T_Level_18 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_LeftCancellative_280 :: T_Level_18 -> () -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_LeftIdentity_292 :: T_Level_18 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_RightCancellative_310 :: T_Level_18 -> () -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_RightIdentity_322 :: T_Level_18 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () #

d_IsMagma_398 :: p -> p -> p -> () #

d_IsMonoid_404 :: p -> p -> p -> p -> () #

d_IsSemigroup_426 :: p -> p -> p -> () #

d_isEquivalence_1698 :: T_IsMagma_176 -> T_IsEquivalence_26 #

d_'8729''45'cong_1712 :: T_IsMagma_176 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 #

d_identity_1808 :: T_IsMonoid_686 -> T_Σ_14 #

d_isSemigroup_1820 :: T_IsMonoid_686 -> T_IsSemigroup_472 #

d_assoc_2552 :: T_IsSemigroup_472 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_isMagma_2556 :: T_IsSemigroup_472 -> T_IsMagma_176 #

d_'43''43''45'assoc_2866 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_'43''43''45'identity'737'_2882 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_'43''43''45'identity'691'_2886 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_'43''43''45'identity_2894 :: T_Level_18 -> () -> T_Σ_14 #

du_'43''43''45'identity_2894 :: T_Σ_14 #

d_'43''43''45'identity'691''45'unique_2900 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'43''43''45'identity'737''45'unique_2912 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'43''43''45'cancel'737'_2944 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'43''43''45'cancel'691'_2954 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'43''43''45'cancel_2982 :: T_Level_18 -> () -> T_Σ_14 #

du_'43''43''45'cancel_2982 :: T_Σ_14 #

d_'43''43''45'conical'737'_2988 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'43''43''45'conical'691'_2994 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'43''43''45'conical_2996 :: T_Level_18 -> () -> T_Σ_14 #

du_'43''43''45'conical_2996 :: T_Σ_14 #

d_'43''43''45'isMagma_2998 :: T_Level_18 -> () -> T_IsMagma_176 #

du_'43''43''45'isMagma_2998 :: T_IsMagma_176 #

d_'43''43''45'isSemigroup_3000 :: T_Level_18 -> () -> T_IsSemigroup_472 #

du_'43''43''45'isSemigroup_3000 :: T_IsSemigroup_472 #

d_'43''43''45'isMonoid_3002 :: T_Level_18 -> () -> T_IsMonoid_686 #

du_'43''43''45'isMonoid_3002 :: T_IsMonoid_686 #

d_'43''43''45'semigroup_3012 :: T_Level_18 -> () -> T_Semigroup_536 #

du_'43''43''45'semigroup_3012 :: T_Semigroup_536 #

d_'43''43''45'monoid_3014 :: T_Level_18 -> () -> T_Monoid_882 #

du_'43''43''45'monoid_3014 :: T_Monoid_882 #

d_length'45'isMagmaHomomorphism_3024 :: T_Level_18 -> () -> T_IsMagmaHomomorphism_176 #

du_length'45'isMagmaHomomorphism_3024 :: T_IsMagmaHomomorphism_176 #

d_length'45'isMonoidHomomorphism_3030 :: T_Level_18 -> () -> T_IsMonoidHomomorphism_350 #

du_length'45'isMonoidHomomorphism_3030 :: T_IsMonoidHomomorphism_350 #

d_prod_3044 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_prod_3044 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_cartesianProductWith'45'zero'737'_3048 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_cartesianProductWith'45'zero'691'_3052 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_cartesianProductWith'45'distrib'691''45''43''43'_3064 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_alignWith'45'cong_3096 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> (T_These_38 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_length'45'alignWith_3132 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_alignWith'45'map_3154 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_map'45'alignWith_3186 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_alignWith'45'flip_3210 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_alignWith'45'comm_3244 :: T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_align'45'map_3260 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_align'45'flip_3274 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'cong_3300 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'zero'737'_3334 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'zero'691'_3342 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_length'45'zipWith_3352 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'map_3382 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_map'45'zipWith_3426 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'flip_3456 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'comm_3494 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zip'45'map_3510 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zip'45'flip_3528 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_unalignWith'45'this_3536 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_unalignWith'45'that_3546 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_unalignWith'45'cong_3568 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> (AgdaAny -> T_These_38) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_unalignWith'45'map_3632 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'unalignWith_3684 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_unalignWith'45'alignWith_3748 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> (T_These_38 -> AgdaAny) -> (T_These_38 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_unzipWith'45'cong_3796 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> (AgdaAny -> T_Σ_14) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_length'45'unzipWith'8321'_3820 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T__'8801'__12 #

d_length'45'unzipWith'8322'_3828 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'unzipWith_3836 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_unzipWith'45'zipWith_3856 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (T_Σ_14 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_unzipWith'45'map_3880 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'unzipWith_3894 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_unzipWith'45'swap_3908 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T__'8801'__12 #

d_unzipWith'45''43''43'_3918 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_unzip'45'map_3932 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [T_Σ_14] -> T__'8801'__12 #

d_unzip'45'swap_3940 :: T_Level_18 -> () -> T_Level_18 -> () -> [T_Σ_14] -> T__'8801'__12 #

d_zip'45'unzip_3944 :: T_Level_18 -> () -> T_Level_18 -> () -> [T_Σ_14] -> T__'8801'__12 #

d_unzip'45'zip_3952 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_foldr'45'universal_3966 :: T_Level_18 -> () -> T_Level_18 -> () -> ([AgdaAny] -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 -> (AgdaAny -> [AgdaAny] -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45'cong_4004 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12 -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45'fusion_4032 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_id'45'is'45'foldr_4048 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_'43''43''45'is'45'foldr_4058 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45''43''43'_4080 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_map'45'is'45'foldr_4104 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45''8759''691'_4126 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45'map_4152 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45'forces'7495'_4190 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 #

du_foldr'45'forces'7495'_4190 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 #

d_foldr'45'preserves'7495'_4212 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 -> AgdaAny #

du_foldr'45'preserves'7495'_4212 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 -> AgdaAny #

d_foldr'45'preserves'691'_4232 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> AgdaAny #

du_foldr'45'preserves'691'_4232 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> AgdaAny #

d_foldr'45'preserves'7506'_4252 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8846'__30 -> AgdaAny #

du_foldr'45'preserves'7506'_4252 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8846'__30 -> AgdaAny #

d_foldl'45'cong_4300 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_foldl'45''43''43'_4326 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_foldl'45''8759''691'_4352 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_foldl'45'map_4378 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_concat'45'map_4398 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [[AgdaAny]] -> T__'8801'__12 #

d_concat'45''43''43'_4420 :: T_Level_18 -> () -> [[AgdaAny]] -> [[AgdaAny]] -> T__'8801'__12 #

d_concat'45'concat_4438 :: T_Level_18 -> () -> [[[AgdaAny]]] -> T__'8801'__12 #

d_concat'45''91''45''93'_4446 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_concatMap'45'cong_4458 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> [AgdaAny]) -> (AgdaAny -> [AgdaAny]) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_concatMap'45'pure_4464 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_concatMap'45'map_4472 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> [AgdaAny]) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'concatMap_4484 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> T__'8801'__12 #

d_catMaybes'45'concatMap_4492 :: T_Level_18 -> () -> [Maybe AgdaAny] -> T__'8801'__12 #

d_length'45'catMaybes_4504 :: T_Level_18 -> () -> [Maybe AgdaAny] -> T__'8804'__22 #

du_length'45'catMaybes_4504 :: [Maybe AgdaAny] -> T__'8804'__22 #

d_catMaybes'45''43''43'_4514 :: T_Level_18 -> () -> [Maybe AgdaAny] -> [Maybe AgdaAny] -> T__'8801'__12 #

d_map'45'catMaybes_4530 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [Maybe AgdaAny] -> T__'8801'__12 #

d_Any'45'catMaybes'8314'_4548 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [Maybe AgdaAny] -> T_Any_34 -> T_Any_34 #

du_Any'45'catMaybes'8314'_4548 :: [Maybe AgdaAny] -> T_Any_34 -> T_Any_34 #

d_mapMaybe'45'cong_4570 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> (AgdaAny -> Maybe AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybe'45'just_4576 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybe'45'nothing_4588 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybe'45'concatMap_4604 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_length'45'mapMaybe_4610 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8804'__22 #

du_length'45'mapMaybe_4610 :: (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8804'__22 #

d_mapMaybe'45''43''43'_4622 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybe'45'map_4642 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'mapMaybe_4658 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybe'45'map'45'retract_4674 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybe'45'map'45'none_4694 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybeIsInj'8321''8728'mapInj'8321'_4702 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybeIsInj'8321''8728'mapInj'8322'_4708 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybeIsInj'8322''8728'mapInj'8322'_4714 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_mapMaybeIsInj'8322''8728'mapInj'8321'_4720 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_sum'45''43''43'_4728 :: [Integer] -> [Integer] -> T__'8801'__12 #

d_'8712''8658''8739'product_4744 :: Integer -> [Integer] -> T_Any_34 -> T__'8739'__20 #

du_'8712''8658''8739'product_4744 :: [Integer] -> T_Any_34 -> T__'8739'__20 #

d_length'45'applyUpTo_4762 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 #

d_lookup'45'applyUpTo_4776 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T_Fin_10 -> T__'8801'__12 #

d_applyUpTo'45''8759''691'_4792 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 #

d_length'45'applyDownFrom_4812 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 #

d_lookup'45'applyDownFrom_4820 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T_Fin_10 -> T__'8801'__12 #

d_applyDownFrom'45''8759''691'_4830 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 #

d_length'45'upTo_4838 :: Integer -> T__'8801'__12 #

d_lookup'45'upTo_4844 :: Integer -> T_Fin_10 -> T__'8801'__12 #

d_upTo'45''8759''691'_4848 :: Integer -> T__'8801'__12 #

d_length'45'downFrom_4852 :: Integer -> T__'8801'__12 #

d_lookup'45'downFrom_4858 :: Integer -> T_Fin_10 -> T__'8801'__12 #

d_downFrom'45''8759''691'_4862 :: Integer -> T__'8801'__12 #

d_tabulate'45'cong_4870 :: T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> T__'8801'__12) -> T__'8801'__12 #

d_tabulate'45'lookup_4880 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_length'45'tabulate_4892 :: T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> T__'8801'__12 #

d_lookup'45'tabulate_4910 :: T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> T_Fin_10 -> T__'8801'__12 #

d_map'45'tabulate_4924 :: T_Level_18 -> () -> T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8801'__12 #

d_length'45''37''61'_4944 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> T__'8801'__12 #

d_length'45''8759''61'_4966 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny -> T__'8801'__12 #

d_map'45''8759''61'_4984 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T__'8801'__12 #

d_length'45'insertAt_5012 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny -> T__'8801'__12 #

d_length'45'removeAt_5030 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> T__'8801'__12 #

d_length'45'removeAt'8242'_5046 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> T__'8801'__12 #

d_map'45'removeAt_5064 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> T__'8801'__12 #

d_removeAt'45'insertAt_5088 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny -> T__'8801'__12 #

d_insertAt'45'removeAt_5108 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> T__'8801'__12 #

d_length'45'take_5126 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_take'45'map_5144 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_take'45'suc_5164 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> T__'8801'__12 #

d_take'45'suc'45'tabulate_5186 :: T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> T_Fin_10 -> T__'8801'__12 #

d_take'45'all_5204 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8804'__22 -> T__'8801'__12 #

d_take'45''91''93'_5218 :: T_Level_18 -> () -> Integer -> T__'8801'__12 #

d_take'45'take_5228 :: T_Level_18 -> () -> Integer -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_take'45'drop_5258 :: T_Level_18 -> () -> Integer -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_length'45'drop_5280 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_drop'45'map_5298 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_drop'45''91''93'_5312 :: T_Level_18 -> () -> Integer -> T__'8801'__12 #

d_take'43''43'drop'8801'id_5320 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_drop'45'take'45'suc_5340 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> T__'8801'__12 #

d_drop'45'take'45'suc'45'tabulate_5360 :: T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> T_Fin_10 -> T__'8801'__12 #

d_drop'45'drop_5380 :: T_Level_18 -> () -> Integer -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_drop'45'all_5402 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8804'__22 -> T__'8801'__12 #

d_length'45'replicate_5418 :: T_Level_18 -> () -> Integer -> AgdaAny -> T__'8801'__12 #

d_lookup'45'replicate_5428 :: T_Level_18 -> () -> Integer -> AgdaAny -> T_Fin_10 -> T__'8801'__12 #

d_map'45'replicate_5446 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> Integer -> AgdaAny -> T__'8801'__12 #

d_zipWith'45'replicate_5468 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> Integer -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8801'__12 #

d_length'45'iterate_5492 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> Integer -> T__'8801'__12 #

d_iterate'45'id_5508 :: T_Level_18 -> () -> AgdaAny -> Integer -> T__'8801'__12 #

d_lookup'45'iterate_5526 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> Integer -> T_Fin_10 -> T__'8801'__12 #

d_splitAt'45'defn_5544 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_splitAt'45'map_5570 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_takeWhile'43''43'dropWhile_5598 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8801'__12 #

d_span'45'defn_5618 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8801'__12 #

d_length'45'filter_5652 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8804'__22 #

du_length'45'filter_5652 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8804'__22 #

d_filter'45'all_5678 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 #

d_filter'45'notAll_5714 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Any_34 -> T__'8804'__22 #

du_filter'45'notAll_5714 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Any_34 -> T__'8804'__22 #

d_filter'45'some_5770 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Any_34 -> T__'8804'__22 #

du_filter'45'some_5770 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Any_34 -> T__'8804'__22 #

d_filter'45'none_5820 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 #

d_filter'45'complete_5854 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_filter'45'accept_5886 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T__'8801'__12 #

d_filter'45'reject_5910 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> AgdaAny -> [AgdaAny] -> (AgdaAny -> T_Irrelevant_20) -> T__'8801'__12 #

d_filter'45'idem_5930 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8801'__12 #

d_filter'45''43''43'_5960 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_length'45'derun_6008 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8804'__22 #

du_length'45'derun_6008 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8804'__22 #

d_length'45'deduplicate_6042 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8804'__22 #

du_length'45'deduplicate_6042 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8804'__22 #

d_r_6052 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du_r_6052 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

d_derun'45'reject_6060 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> AgdaAny -> [AgdaAny] -> AgdaAny -> T__'8801'__12 #

d_derun'45'accept_6098 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> AgdaAny -> [AgdaAny] -> (AgdaAny -> T_Irrelevant_20) -> T__'8801'__12 #

d_partition'45'defn_6142 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T__'8801'__12 #

d_length'45'partition_6176 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

du_length'45'partition_6176 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

d_'691''43''43''45'defn_6204 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_'43''43''45''691''43''43'_6220 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_'691''43''43''45''691''43''43'_6236 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_length'45''691''43''43'_6250 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_map'45''691''43''43'_6264 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_foldr'45''691''43''43'_6284 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_foldl'45''691''43''43'_6308 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_unfold'45'reverse_6328 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45''43''43'_6338 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45'selfInverse_6344 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_reverse'45'involutive_6354 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45'injective_6356 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_length'45'reverse_6360 :: T_Level_18 -> () -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45'map_6366 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45'foldr_6376 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45'foldl_6390 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45'applyUpTo_6402 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 #

d_reverse'45'upTo_6414 :: Integer -> T__'8801'__12 #

d_reverse'45'applyDownFrom_6420 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 #

d_reverse'45'downFrom_6432 :: Integer -> T__'8801'__12 #

d_'8759''691''45'injective_6438 :: T_Level_18 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T_Σ_14 #

du_'8759''691''45'injective_6438 :: [AgdaAny] -> [AgdaAny] -> T_Σ_14 #

d_'8759''691''45'injective'737'_6462 :: T_Level_18 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'8759''691''45'injective'691'_6474 :: T_Level_18 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 #

d_'8759''691''45''43''43'_6488 :: T_Level_18 -> () -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_uncons'45'map_6506 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_head'45'map_6522 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_last'45'map_6534 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_tail'45'map_6552 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45'id'8322'_6558 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 #

d_map'45'cong'8322'_6560 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 #

d_map'45'compose_6562 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_map'45''43''43''45'commute_6564 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_sum'45''43''43''45'commute_6566 :: [Integer] -> [Integer] -> T__'8801'__12 #

d_reverse'45'map'45'commute_6568 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_reverse'45''43''43''45'commute_6570 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'identity'737'_6572 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_zipWith'45'identity'691'_6574 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 #

d_'691''43''43''45''43''43'_6576 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 #

d_take'43''43'drop_6578 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 #

d_length'45''9472'_6580 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> T__'8801'__12 #

d_map'45''9472'_6582 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> T__'8801'__12 #

d_scanr'45'defn_6588 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #

d_scanl'45'defn_6628 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 #