Documentation

d_Levels_20 :: Integer -> () #

d_'10758'_26 :: Integer -> AgdaAny -> T_Level_18 #

d_Sets_38 :: Integer -> AgdaAny -> () #

d_Arrows_52 :: Integer -> T_Level_18 -> AgdaAny -> AgdaAny -> () -> () #

d__'8649'__70 :: Integer -> AgdaAny -> T_Level_18 -> AgdaAny -> () -> () #

d__'60''36''62'__78 :: (T_Level_18 -> () -> ()) -> Integer -> AgdaAny -> AgdaAny -> AgdaAny #

d_lmap_94 :: (T_Level_18 -> T_Level_18) -> Integer -> AgdaAny -> AgdaAny #

d_smap_116 :: (T_Level_18 -> T_Level_18) -> (T_Level_18 -> () -> ()) -> Integer -> AgdaAny -> AgdaAny -> AgdaAny #

du_smap_116 :: (T_Level_18 -> () -> ()) -> Integer -> AgdaAny -> AgdaAny -> AgdaAny #

d_map'8345'_140 :: T_Level_18 -> () -> T_Level_18 -> () -> Integer -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du_map'8345'_140 :: Integer -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'37''61'_'8866'__158 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> Integer -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'37''61'_'8866'__158 :: Integer -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'8759''61'_'8866'__174 :: T_Level_18 -> () -> T_Level_18 -> () -> Integer -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8759''61'_'8866'__174 :: Integer -> AgdaAny -> AgdaAny -> AgdaAny #

d_hole'8345'_190 :: T_Level_18 -> () -> T_Level_18 -> () -> Integer -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du_hole'8345'_190 :: Integer -> (AgdaAny -> AgdaAny) -> AgdaAny #

d_const'8345'_208 :: Integer -> AgdaAny -> T_Level_18 -> AgdaAny -> () -> AgdaAny -> AgdaAny #

du_const'8345'_208 :: Integer -> AgdaAny -> AgdaAny #