Documentation

d_WfRec_22 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> () #

d_Acc_42 :: p -> p -> p -> p -> p -> () #

data T_Acc_42 #

d_WellFounded_54 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> () #

d_acc'45'inverse_66 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> T_Acc_42 -> AgdaAny -> AgdaAny -> T_Acc_42 #

d_Acc'45'resp'45'flip'45''8776'_86 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_Acc'45'resp'45''8776'_96 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_wfRecBuilder_116 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> T_Acc_42 -> AgdaAny -> AgdaAny -> AgdaAny #

du_wfRecBuilder_116 :: (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny #

d_wfRec_128 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> T_Acc_42 -> AgdaAny #

du_wfRec_128 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> T_Acc_42 -> AgdaAny #

d_unfold'45'wfRec_140 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> T_Acc_42 -> T__'8801'__12 #

d_wfRecBuilder_160 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_wfRecBuilder_160 :: (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_wfRec_168 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny #

du_wfRec_168 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny #

d_wfRec'45'builder_170 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_wfRec'45'builder_170 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_some'45'wfrec'45'Irrelevant_200 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> AgdaAny -> () #

d_some'45'wfRec'45'irrelevant_210 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> AgdaAny -> T_Acc_42 -> T_Acc_42 -> T__'8801'__12 #

d_wfRec_226 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny #

du_wfRec_226 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny #

d_wfRec'45'builder_228 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_wfRec'45'builder_228 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_wfRecBuilder_230 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_wfRecBuilder_230 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_wfRecBuilder'45'wfRec_238 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 #

d_unfold'45'wfRec_256 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 #

d_acc'8658'asym_274 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Acc_42 -> AgdaAny -> AgdaAny -> T_Irrelevant_20 #

d_wf'8658'asym_292 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Irrelevant_20 #

d_wf'8658'irrefl_298 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Irrelevant_20 #

d_accessible_324 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_wellFounded_330 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d_accessible_350 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_wellFounded_356 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d_well'45'founded_362 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d__'60''8314'__374 :: p -> p -> p -> p -> p -> p -> () #

data T__'60''8314'__374 #

d_downwardsClosed_400 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Acc_42 -> T__'60''8314'__374 -> T_Acc_42 #

d_accessible_410 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_accessible'8242'_414 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> T_Acc_42 -> AgdaAny -> T__'60''8314'__374 -> T_Acc_42 #

d_wellFounded_428 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d__'60'__454 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

data T__'60'__454 #

d_accessible_484 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Acc_42 -> (AgdaAny -> AgdaAny -> T_Acc_42) -> T_Acc_42 #

d_accessible'8242'_492 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Acc_42 -> T_Acc_42 -> (AgdaAny -> AgdaAny -> T_Acc_42) -> T_Σ_14 -> T__'60'__454 -> T_Acc_42 #

d_wellFounded_514 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> AgdaAny -> T_Acc_42) -> T_Σ_14 -> T_Acc_42 #

d_well'45'founded_522 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> AgdaAny -> T_Acc_42) -> T_Σ_14 -> T_Acc_42 #

d_accessible_526 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_well'45'founded_528 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d_wellFounded_530 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d__'60''8314'__534 :: p -> p -> p -> p -> p -> p -> () #

d_accessible_538 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> T_Acc_42 -> T_Acc_42 #

d_accessible'8242'_540 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> T_Acc_42 -> AgdaAny -> T__'60''8314'__374 -> T_Acc_42 #

d_downwardsClosed_542 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Acc_42 -> T__'60''8314'__374 -> T_Acc_42 #

d_wellFounded_546 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> AgdaAny -> T_Acc_42 #

d_'46'generalizedField'45'A'46'a_6161 :: T_GeneralizeTel_6167 -> T_Level_18 #

d_'46'generalizedField'45'A_6163 :: T_GeneralizeTel_6167 -> () #

d_'46'generalizedField'45'r_6165 :: T_GeneralizeTel_6167 -> T_Level_18 #

d_GeneralizeTel_6167 :: () #

data T_GeneralizeTel_6167 #

d_'46'generalizedField'45'A'46'a_10101 :: T_GeneralizeTel_10107 -> T_Level_18 #

d_'46'generalizedField'45'A_10103 :: T_GeneralizeTel_10107 -> () #

d_'46'generalizedField'45'r_10105 :: T_GeneralizeTel_10107 -> T_Level_18 #

d_GeneralizeTel_10107 :: () #

data T_GeneralizeTel_10107 #