Documentation

d_Bot'45'l_18 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14 Source #

du_Bot'45'l_18 :: Integer -> T_List'8314'_24 -> T_Σ_14 Source #

d_𝕌'45'wellfounded'45''8801'_36 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> Integer -> T__'8804'__18 -> T__'8804'__18 -> T__'8801'__12 Source #

d_𝕌'45'wellfounded'45''8801''45'𝕌_52 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T__'8801'__12 Source #