Documentation

d_Rec_10 :: T_Level_14 -> (Integer -> ()) -> Integer -> () Source #

d_recBuilder_24 :: T_Level_14 -> (Integer -> ()) -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

du_recBuilder_24 :: (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

d_rec_38 :: T_Level_14 -> (Integer -> ()) -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

du_rec_38 :: (Integer -> ()) -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

d_CRec_42 :: T_Level_14 -> (Integer -> ()) -> Integer -> () Source #

d_cRecBuilder_56 :: T_Level_14 -> (Integer -> ()) -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

du_cRecBuilder_56 :: T_Level_14 -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

d_ih_72 :: T_Level_14 -> (Integer -> ()) -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

du_ih_72 :: T_Level_14 -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

d_cRec_76 :: T_Level_14 -> (Integer -> ()) -> (Integer -> AgdaAny -> AgdaAny) -> Integer -> AgdaAny Source #

d_'60''8242''45'Rec_80 :: T_Level_14 -> (Integer -> ()) -> Integer -> () Source #

d_'60''8242''45'wellFounded_82 :: Integer -> T_Acc_42 Source #

d_'60''8242''45'wellFounded'8242'_86 :: Integer -> Integer -> T__'8804''8242'__176 -> T_Acc_42 Source #

d_wfRec_106 :: T_Level_14 -> (Integer -> ()) -> (Integer -> (Integer -> T__'8804''8242'__176 -> AgdaAny) -> AgdaAny) -> Integer -> AgdaAny Source #

du_wfRec_106 :: (Integer -> ()) -> (Integer -> (Integer -> T__'8804''8242'__176 -> AgdaAny) -> AgdaAny) -> Integer -> AgdaAny Source #

d_wfRecBuilder_108 :: T_Level_14 -> (Integer -> ()) -> (Integer -> (Integer -> T__'8804''8242'__176 -> AgdaAny) -> AgdaAny) -> Integer -> Integer -> T__'8804''8242'__176 -> AgdaAny Source #

du_wfRecBuilder_108 :: (Integer -> ()) -> (Integer -> (Integer -> T__'8804''8242'__176 -> AgdaAny) -> AgdaAny) -> Integer -> Integer -> T__'8804''8242'__176 -> AgdaAny Source #

d_'60''45'Rec_112 :: T_Level_14 -> (Integer -> ()) -> Integer -> () Source #

d_'60''45'wellFounded_114 :: Integer -> T_Acc_42 Source #

d_'60''45'wellFounded'45'fast_116 :: Integer -> T_Acc_42 Source #

d_'60''45'wellFounded'45'skip_124 :: Integer -> Integer -> T_Acc_42 Source #

d_wfRec_146 :: T_Level_14 -> (Integer -> ()) -> (Integer -> (Integer -> T__'8804'__18 -> AgdaAny) -> AgdaAny) -> Integer -> AgdaAny Source #

du_wfRec_146 :: (Integer -> ()) -> (Integer -> (Integer -> T__'8804'__18 -> AgdaAny) -> AgdaAny) -> Integer -> AgdaAny Source #

d_wfRecBuilder_148 :: T_Level_14 -> (Integer -> ()) -> (Integer -> (Integer -> T__'8804'__18 -> AgdaAny) -> AgdaAny) -> Integer -> Integer -> T__'8804'__18 -> AgdaAny Source #

du_wfRecBuilder_148 :: (Integer -> ()) -> (Integer -> (Integer -> T__'8804'__18 -> AgdaAny) -> AgdaAny) -> Integer -> Integer -> T__'8804'__18 -> AgdaAny Source #