| Safe Haskell | None |
|---|
MAlonzo.Code.Mint.Completeness.Nat
Documentation
d_'8872''45'irrel_194 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> AgdaAny -> AgdaAny Source #
du_'8872''45'irrel_194 :: T_List'8314'_24 -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> AgdaAny -> AgdaAny Source #
d_N'45''8776''8242'_518 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> Integer -> T_'8872'_'8776'__346 -> T_Σ_14 Source #
du_N'45''8776''8242'_518 :: Integer -> T_'8872'_'8776'__346 -> T_Σ_14 Source #
d_ze'45''8776''8242'_526 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_Σ_14 Source #
d_su'45'cong'8242'_532 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_550 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_550 :: ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_RelExp'45'refl_586 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_RelExp'45'refl_586 :: T_List'8314'_24 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_rec'45'helper_682 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Nat_46 -> T_Σ_14 Source #
du_rec'45'helper_682 :: T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Nat_46 -> T_Σ_14 Source #
d_'10214't'8242''10215'_746 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_GeneralizeTel_94703 -> T_D_10 Source #
du_'10214't'8242''10215'_746 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_'10214't'10215'_748 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_GeneralizeTel_94703 -> T_D_10 Source #
du_'10214't'10215'_748 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_helper_756 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_Σ_14 Source #
du_helper_756 :: T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_Σ_14 Source #
d_ρ'8776'ρ'8242''8323'_810 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> AgdaAny Source #
du_ρ'8776'ρ'8242''8323'_810 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> T_D_10 -> T_D_10 -> AgdaAny Source #
d_a'8776'b'8323'_828 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> AgdaAny Source #
du_a'8776'b'8323'_828 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> AgdaAny Source #
d_a'8242''8776'b'8242''8323'_834 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> AgdaAny Source #
du_a'8242''8776'b'8242''8323'_834 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> AgdaAny -> AgdaAny Source #
d_'10214't'8242''10215'_870 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> T_D_10 Source #
du_'10214't'8242''10215'_870 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_'10214't'10215'_872 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> T_D_10 Source #
du_'10214't'10215'_872 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_helper'45'su_880 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> T_Σ_14 Source #
du_helper'45'su_880 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_D_10 -> T_D_10 -> T_Nat_46 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> AgdaAny -> T_Σ_14 Source #
d_ρ'8776'ρ'8242''8321'_930 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_D_10 -> T_D_10 -> (Integer -> Integer) -> AgdaAny Source #
du_ρ'8776'ρ'8242''8321'_930 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> (Integer -> Integer) -> AgdaAny Source #
d_ρ'8776'ρ'8242''8321''8242'_946 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> AgdaAny Source #
du_ρ'8776'ρ'8242''8321''8242'_946 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny Source #
d_a'8776'b'8321'_962 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_D_10 -> T_D_10 -> (Integer -> Integer) -> T_Nat_46 -> AgdaAny Source #
du_a'8776'b'8321'_962 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_D_10 -> T_D_10 -> (Integer -> Integer) -> T_Nat_46 -> AgdaAny Source #
d_a'8776'b'8321''8242'_976 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> AgdaAny Source #
du_a'8776'b'8321''8242'_976 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> AgdaAny Source #
d_'10214't'8242''10215'_990 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_D_10 Source #
du_'10214't'8242''10215'_990 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_'10214't'10215'_992 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_D_10 Source #
du_'10214't'10215'_992 :: (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_helper'45'ne_1000 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_Σ_14 Source #
du_helper'45'ne_1000 :: T_List'8314'_24 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Dn_12 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_Σ_14 Source #
d_bot'45'helper_1034 :: T_D_10 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_Dn_12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (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 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14 Source #
du_bot'45'helper_1034 :: (Integer -> T_Σ_14) -> Integer -> Integer -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14 Source #
d_ρ'8776'ρ'8242''8323'_1102 :: (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 -> T_D_10 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_Dn_12 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T_Nat_46 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T_D_10 -> T_Exp_70 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_ρ'8776'ρ'8242''8323'_1102 :: T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> (Integer -> Integer) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> AgdaAny Source #
d_a'8776'b'8323'_1120 :: (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 -> T_D_10 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_Dn_12 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T_Nat_46 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T_D_10 -> T_Exp_70 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_a'8776'b'8323'_1120 :: T_D_10 -> T_D_10 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_List'8314'_24 -> (Integer -> Integer) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> AgdaAny Source #
d_a'8242''8776'b'8242''8323'_1126 :: (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 -> T_D_10 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_Dn_12 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T_Nat_46 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T_D_10 -> T_Exp_70 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_a'8242''8776'b'8242''8323'_1126 :: Integer -> T_D_10 -> T_D_10 -> T_𝕌_188 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_List'8314'_24 -> (Integer -> Integer) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> AgdaAny Source #
d_bot'45'helper'8242'_1152 :: (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 -> T_D_10 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_Dn_12 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T_Nat_46 -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T_D_10 -> T_Exp_70 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> T_D_10 -> AgdaAny -> T_𝕌_188 -> T_𝕌_188 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
du_bot'45'helper'8242'_1152 :: Integer -> Integer -> T_D_10 -> T_D_10 -> T_D_10 -> T_𝕌_188 -> T_𝕌_188 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T_D_10 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny -> T_𝕌_188 -> T_D_10 -> T_D_10 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
d_rec'45'cong'8242'_1332 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_rec'45'cong'8242'_1332 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_1372 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_1372 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_rec'45'β'45'ze'8242'_1470 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_1494 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_Σ_14 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_1494 :: ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_rec'45'β'45'su'8242'_1522 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_rec'45'β'45'su'8242'_1522 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_1552 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_1552 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_N'45''91''93''8242'_1616 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> Integer -> T_Σ_14 -> T_Σ_14 Source #
du_N'45''91''93''8242'_1616 :: T_Substs_72 -> Integer -> T_Σ_14 -> T_Σ_14 Source #
d_helper_1634 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> Integer -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_1634 :: T_Substs_72 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_ze'45''91''93''8242'_1654 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_1670 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_1670 :: T_Substs_72 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_su'45''91''93''8242'_1690 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_su'45''91''93''8242'_1690 :: T_Substs_72 -> T_Exp_70 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_1712 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_1712 :: T_Substs_72 -> T_Exp_70 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_help_1738 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_help_1738 :: T_Substs_72 -> T_Exp_70 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_rec'45''91''93''8242''45'helper_1802 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> T_Σ_14 -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Nat_46 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_Σ_14 Source #
du_rec'45''91''93''8242''45'helper_1802 :: T_Substs_72 -> T_List'8314'_24 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> T_Σ_14 -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Nat_46 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_Σ_14 Source #
d_'8600''10214'σ'10215''8321'_2038 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> AgdaAny -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215's_'8600'__14 Source #
du_'8600''10214'σ'10215''8321'_2038 :: T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 Source #
d_'10214'σ'10215''8776''10214'σ'10215'_2048 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> AgdaAny -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_'10214'σ'10215''8776''10214'σ'10215'_2048 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_D_10 -> T_'8872'_'8776'__346 -> AgdaAny Source #
d_a'8776'a'8324'_2062 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> AgdaAny -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_a'8776'a'8324'_2062 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_D_10 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_Nat_46 -> T_D_10 -> T_D_10 -> AgdaAny Source #
d_b'8776'b'8242''8324'_2068 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> AgdaAny -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_b'8776'b'8242''8324'_2068 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_D_10 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_𝕌_188 -> AgdaAny -> AgdaAny Source #
d_'10214't'10215'_2106 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> AgdaAny -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 Source #
du_'10214't'10215'_2106 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_helper_2112 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_D_10 -> Integer -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_D_10 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_𝕌_188 -> AgdaAny -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
du_helper_2112 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_D_10 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Nat_46 -> T_D_10 -> T_D_10 -> T_rec'8729'_'44'_'44'_'44'_'44'_'8600'__10 -> T_𝕌_188 -> AgdaAny -> T_Σ_14 Source #
d_'10214'σ'10215''8776''10214'σ'10215''8322'_2218 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Dn_12 -> T_D_10 -> T_Exp_70 -> T_Exp_70 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_'10214'σ'10215''8776''10214'σ'10215''8322'_2218 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_Dn_12 -> T_'8872'_'8776'__346 -> AgdaAny Source #
d_'8593'Nc'8776''8593'Nc_2224 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Dn_12 -> T_D_10 -> T_Exp_70 -> T_Exp_70 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_'8593'Nc'8776''8593'Nc_2224 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_Dn_12 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> AgdaAny Source #
d_'10214't'10215'_2240 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Dn_12 -> T_D_10 -> T_Exp_70 -> T_Exp_70 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_D_10 Source #
du_'10214't'10215'_2240 :: (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_D_10 Source #
d_helper_2246 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Dn_12 -> T_D_10 -> T_Exp_70 -> T_Exp_70 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
du_helper_2246 :: T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'8872'_'8776'__346 -> AgdaAny -> T_Dn_12 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
d_bot'45'helper_2264 :: (Integer -> T_Σ_14) -> T_Dn_12 -> T_Exp_70 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T__'8801'__12 -> T_𝕌_188 -> T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14 Source #
du_bot'45'helper_2264 :: (Integer -> T_Σ_14) -> Integer -> Integer -> T_Substs_72 -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14 Source #
d_'8600''10214'σ'10215'drop_2286 :: T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T__'8801'__12 -> T_𝕌_188 -> T_D_10 -> T_'10214'_'10215's_'8600'__14 Source #
du_'8600''10214'σ'10215'drop_2286 :: (Integer -> Integer) -> T_Substs_72 -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 Source #
d_'8600''10214'σ'10215'dropdrop_2298 :: T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T__'8801'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_'10214'_'10215's_'8600'__14 Source #
du_'8600''10214'σ'10215'dropdrop_2298 :: (Integer -> Integer) -> T_Substs_72 -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 Source #
d_'10214'σ'10215''91'κ'93''8776''10214'σ'10215''91'κ'93''8322'_2316 :: T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T__'8801'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> AgdaAny Source #
du_'10214'σ'10215''91'κ'93''8776''10214'σ'10215''91'κ'93''8322'_2316 :: (Integer -> Integer) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> AgdaAny Source #
d_a'8776'b'8322'_2334 :: T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T__'8801'__12 -> T_𝕌_188 -> T_D_10 -> T_D_10 -> T_Nat_46 -> AgdaAny Source #
du_a'8776'b'8322'_2334 :: (Integer -> Integer) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> AgdaAny -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_D_10 -> T_D_10 -> T_Nat_46 -> AgdaAny Source #
d_bot'45'helper'8242'_2348 :: T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> (Integer -> T_Σ_14) -> T_Exp_70 -> T_D_10 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> Integer -> Integer -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T__'8801'__12 -> T_𝕌_188 -> T_Σ_14 Source #
du_bot'45'helper'8242'_2348 :: T_List'8314'_24 -> (Integer -> Integer) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> (Integer -> T_Σ_14) -> Integer -> Integer -> T_Substs_72 -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_'8872'_'8776'__346 -> AgdaAny -> T_Exp_70 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_Σ_14 Source #
d_'10214'σ'10215''8776''10214'σ'10215''8324'_2442 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (Integer -> Integer) -> T_D_10 -> T_D_10 -> (Integer -> T_Σ_14) -> T_D_10 -> T_Exp_70 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> Integer -> T_D_10 -> T_D_10 -> T_𝕌_188 -> T_𝕌_188 -> T_List'8314'_24 -> Integer -> T_D_10 -> T_𝕌_188 -> T_D_10 -> AgdaAny -> T_Nf_222 -> T_Rty_'45'_'8600'__22 -> T_Rty_'45'_'8600'__22 -> T_Nf_222 -> T_Rf_'45'_'8600'__18 -> T_Rf_'45'_'8600'__18 -> Integer -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_'8872'_'8776'__346 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T__'8801'__12 -> T_𝕌_188 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_'10214'σ'10215''8776''10214'σ'10215''8324'_2442 :: (Integer -> Integer) -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> AgdaAny -> AgdaAny Source #
d_a'8776'b'8324'_2452 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (Integer -> Integer) -> T_D_10 -> T_D_10 -> (Integer -> T_Σ_14) -> T_D_10 -> T_Exp_70 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> Integer -> T_D_10 -> T_D_10 -> T_𝕌_188 -> T_𝕌_188 -> T_List'8314'_24 -> Integer -> T_D_10 -> T_𝕌_188 -> T_D_10 -> AgdaAny -> T_Nf_222 -> T_Rty_'45'_'8600'__22 -> T_Rty_'45'_'8600'__22 -> T_Nf_222 -> T_Rf_'45'_'8600'__18 -> T_Rf_'45'_'8600'__18 -> Integer -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_'8872'_'8776'__346 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T__'8801'__12 -> T_𝕌_188 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_a'8776'b'8324'_2452 :: (Integer -> Integer) -> (Integer -> T_Σ_14) -> T_D_10 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> AgdaAny -> AgdaAny Source #
d_a'8242''8776'b'8242''8324'_2458 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (Integer -> Integer) -> T_D_10 -> T_D_10 -> (Integer -> T_Σ_14) -> T_D_10 -> T_Exp_70 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> Integer -> T_D_10 -> T_D_10 -> T_𝕌_188 -> T_𝕌_188 -> T_List'8314'_24 -> Integer -> T_D_10 -> T_𝕌_188 -> T_D_10 -> AgdaAny -> T_Nf_222 -> T_Rty_'45'_'8600'__22 -> T_Rty_'45'_'8600'__22 -> T_Nf_222 -> T_Rf_'45'_'8600'__18 -> T_Rf_'45'_'8600'__18 -> Integer -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_'8872'_'8776'__346 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T__'8801'__12 -> T_𝕌_188 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> AgdaAny Source #
du_a'8242''8776'b'8242''8324'_2458 :: (Integer -> Integer) -> (Integer -> T_Σ_14) -> T_D_10 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> AgdaAny -> AgdaAny Source #
d_bot'45'helper'8243'_2488 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (Integer -> Integer) -> T_D_10 -> T_D_10 -> (Integer -> T_Σ_14) -> T_D_10 -> T_Exp_70 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> Integer -> T_D_10 -> T_D_10 -> T_𝕌_188 -> T_𝕌_188 -> T_List'8314'_24 -> Integer -> T_D_10 -> T_𝕌_188 -> T_D_10 -> AgdaAny -> T_Nf_222 -> T_Rty_'45'_'8600'__22 -> T_Rty_'45'_'8600'__22 -> T_Nf_222 -> T_Rf_'45'_'8600'__18 -> T_Rf_'45'_'8600'__18 -> Integer -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T__'8804'__18 -> T__'8801'__12 -> AgdaAny -> T_Dn_12 -> (T_List'8314'_24 -> (Integer -> Integer) -> T_Σ_14) -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Re_'45'_'8600'__20 -> T_D_10 -> T__'8804'__18 -> T_Substs_72 -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> AgdaAny -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> T_'8872'_'8776'__346 -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T__'8801'__12 -> T_𝕌_188 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
du_bot'45'helper'8243'_2488 :: (Integer -> Integer) -> T_D_10 -> (Integer -> T_Σ_14) -> T_'10214'_'10215'_'8600'__12 -> T_D_10 -> Integer -> T_List'8314'_24 -> T_Nf_222 -> T_Rty_'45'_'8600'__22 -> T_Nf_222 -> T_Rf_'45'_'8600'__18 -> Integer -> T_Ne_220 -> T_Re_'45'_'8600'__20 -> T_Substs_72 -> (Integer -> T_Σ_14) -> T_'8872'_'8776'__346 -> T_Exp_70 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'10214'_'10215's_'8600'__14 -> AgdaAny -> T_'10214'_'10215'_'8600'__12 -> T_Σ_14 Source #
d_rec'45''91''93''8242'_2606 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_rec'45''91''93''8242'_2606 :: T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_helper_2660 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
du_helper_2660 :: T_List'8314'_24 -> T_Substs_72 -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> Integer -> T_'8872'_'8776'__346 -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelSubsts_100) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> T_'8872'_'8776'__346 -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> Integer -> Integer -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_RelTyp_314) -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_RelTyp_314) -> Integer -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> T_Σ_14 -> T_Σ_14) -> T_'8872'_'8776'__346 -> ((Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14) -> (Integer -> T_Σ_14) -> (Integer -> T_Σ_14) -> AgdaAny -> T_Σ_14 Source #
d_GeneralizeTel_94703 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> p10 -> p11 -> p12 -> p13 -> p14 -> p15 -> p16 -> p17 -> p18 -> p19 -> p20 -> p21 -> p22 -> p23 -> p24 -> p25 -> p26 -> p27 -> p28 -> p29 -> p30 -> p31 -> p32 -> () Source #
data T_GeneralizeTel_94703 Source #
Constructors
| C_mkGeneralizeTel_94705 T_D_10 T_D_10 |