Documentation

d_fst_40 :: T_Σ_14 -> AgdaAny #

d_snd_42 :: T_Σ_14 -> AgdaAny #

d_'8707'_46 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> () #

d_'8707''8322'_56 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> () #

d_Σ'45'syntax_66 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> () #

d_'8707''45'syntax_70 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> () #

d__'215'__76 :: T_Level_18 -> T_Level_18 -> () -> () -> () #

d__'44''8242'__84 :: T_Level_18 -> () -> T_Level_18 -> () -> AgdaAny -> AgdaAny -> T_Σ_14 #

du__'44''8242'__84 :: AgdaAny -> AgdaAny -> T_Σ_14 #

d_'45''44'__92 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Σ_14 #

du_'45''44'__92 :: AgdaAny -> AgdaAny -> T_Σ_14 #

d_'60'_'44'_'62'_112 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> T_Σ_14 #

du_'60'_'44'_'62'_112 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> T_Σ_14 #

d_map_128 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

du_map_128 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

d_map'8321'_138 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

du_map'8321'_138 :: (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

d_map'8322'_150 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

du_map'8322'_150 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

d_dmap_176 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

du_dmap_176 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

d_zip_198 :: T_Level_18 -> () -> 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) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

du_zip_198 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

d_curry_224 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_curry_224 :: (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_uncurry_244 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny #

du_uncurry_244 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny #

d_assoc'691'_260 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 #

du_assoc'691'_260 :: T_Σ_14 -> T_Σ_14 #

d_assoc'737'_276 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 #

du_assoc'737'_276 :: T_Σ_14 -> T_Σ_14 #

d_assoc'691''45'curried_290 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> T_Σ_14 -> T_Σ_14 #

du_assoc'691''45'curried_290 :: T_Σ_14 -> T_Σ_14 #

d_assoc'737''45'curried_304 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> T_Σ_14 -> T_Σ_14 #

du_assoc'737''45'curried_304 :: T_Σ_14 -> T_Σ_14 #

d_zip'8242'_312 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

du_zip'8242'_312 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

d_curry'8242'_318 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_curry'8242'_318 :: (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_uncurry'8242'_320 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny #

du_uncurry'8242'_320 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny #

d_map'8322''8242'_322 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

du_map'8322''8242'_322 :: (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

d_dmap'8242'_344 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

du_dmap'8242'_344 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 #

d__'60''42''62'__368 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

du__'60''42''62'__368 :: T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

d_swap_370 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Σ_14 -> T_Σ_14 #

du_swap_370 :: T_Σ_14 -> T_Σ_14 #

d__'45''215''45'__376 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () #

d__'45''44''45'__382 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 #

du__'45''44''45'__382 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 #

d_assoc'691''8242'_388 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Σ_14 -> T_Σ_14 #

du_assoc'691''8242'_388 :: T_Σ_14 -> T_Σ_14 #

d_assoc'737''8242'_396 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Σ_14 -> T_Σ_14 #

du_assoc'737''8242'_396 :: T_Σ_14 -> T_Σ_14 #