Documentation

d_DiffList_12 :: T_Level_18 -> () -> () #

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

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

d_'91''93'_24 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] #

du_'91''93'_24 :: [AgdaAny] -> [AgdaAny] #

d__'8759'__28 :: T_Level_18 -> () -> AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

du__'8759'__28 :: AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

d_'91'_'93'_34 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du_'91'_'93'_34 :: AgdaAny -> [AgdaAny] -> [AgdaAny] #

d__'43''43'__38 :: T_Level_18 -> () -> ([AgdaAny] -> [AgdaAny]) -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

du__'43''43'__38 :: ([AgdaAny] -> [AgdaAny]) -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

d__'8759''691'__46 :: T_Level_18 -> () -> ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du__'8759''691'__46 :: ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

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

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

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

du_fromList_58 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

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

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

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

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

d_concat'8242'_80 :: T_Level_18 -> () -> ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]) -> T_Level_18 -> () -> [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny] #

du_concat'8242'_80 :: [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny] #

d_take_82 :: T_Level_18 -> () -> Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

du_take_82 :: Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

d_drop_86 :: T_Level_18 -> () -> Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

du_drop_86 :: Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #