Documentation

d_id_24 ∷ T_Level_18 → () → AgdaAny → AgdaAny Source #

du_id_24 ∷ AgdaAny → AgdaAny Source #

d_const_28 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny Source #

du_const_28 ∷ AgdaAny → AgdaAny Source #

d_const'7523'_34 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny Source #

du_const'7523'_34 ∷ AgdaAny → AgdaAny Source #

d__'8728'__54 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'8728'__54 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'8728''8322'__92 ∷ T_Level_18 → 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 Source #

du__'8728''8322'__92 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_flip_116 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_flip_116 ∷ (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'36'__132 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'36'__132 ∷ (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'36''33'__146 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'36''33'__146 ∷ (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'124''62'__156 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'124''62'__156 ∷ AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'738'__176 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'738'__176 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'36''45'_192 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'36''45'_192 ∷ (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_λ'45'_204 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du_λ'45'_204 ∷ (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_case_return_of__218 ∷ T_Level_18 → T_Level_18 → () → AgdaAny → (AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny Source #

du_case_return_of__218 ∷ AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8728''8242'__226 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'8728''8242'__226 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'8728''8322''8242'__232 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'8728''8322''8242'__232 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'36''8242'__238 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'36''8242'__238 ∷ (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'36''33''8242'__240 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'36''33''8242'__240 ∷ (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'124''62''8242'__242 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'124''62''8242'__242 ∷ AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d_case_of__244 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du_case_of__244 ∷ AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'10216'_'10217'__250 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'10216'_'10217'__250 ∷ AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'8715'__260 ∷ T_Level_18 → () → AgdaAny → AgdaAny Source #

du__'8715'__260 ∷ AgdaAny → AgdaAny Source #

d_typeOf_268 ∷ T_Level_18 → () → AgdaAny → () Source #

d_it_274 ∷ T_Level_18 → () → AgdaAny → AgdaAny Source #

du_it_274 ∷ AgdaAny → AgdaAny Source #

d__'45''10218'_'10219''45'__278 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'45''10218'_'10219''45'__278 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'45''10218'_'8739'_290 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'45''10218'_'8739'_290 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8739'_'10219''45'__296 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_'8739'_'10219''45'__296 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'45''10216'_'8739'_302 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'45''10216'_'8739'_302 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8739'_'10217''45'__308 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_'8739'_'10217''45'__308 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'45''10218'_'10217''45'__314 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'45''10218'_'10217''45'__314 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'45''10216'_'10219''45'__322 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'45''10216'_'10219''45'__322 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'45''10216'_'10217''45'__330 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__'45''10216'_'10217''45'__330 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__on'8322'__338 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__on'8322'__338 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__on__344 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du__on__344 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'45''91'_'93''45'__350 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #