Documentation

d_Any_34 :: p -> p -> p -> p -> p -> () #

data T_Any_34 #

d_head_56 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> (T_Any_34 -> T_Irrelevant_20) -> T_Any_34 -> AgdaAny #

du_head_56 :: T_Any_34 -> AgdaAny #

d_tail_66 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> (AgdaAny -> T_Irrelevant_20) -> T_Any_34 -> T_Any_34 #

du_tail_66 :: T_Any_34 -> T_Any_34 #

d_map_76 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_Any_34 -> T_Any_34 #

du_map_76 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_Any_34 -> T_Any_34 #

d_index_86 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Fin_10 #

du_index_86 :: [AgdaAny] -> T_Any_34 -> T_Fin_10 #

d_lookup_94 :: T_Level_18 -> () -> T_Level_18 -> [AgdaAny] -> (AgdaAny -> ()) -> T_Any_34 -> AgdaAny #

du_lookup_94 :: [AgdaAny] -> T_Any_34 -> AgdaAny #

d__'8759''61'__102 :: T_Level_18 -> () -> T_Level_18 -> [AgdaAny] -> (AgdaAny -> ()) -> T_Any_34 -> AgdaAny -> [AgdaAny] #

du__'8759''61'__102 :: [AgdaAny] -> T_Any_34 -> AgdaAny -> [AgdaAny] #

d__'9472'__114 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> [AgdaAny] #

du__'9472'__114 :: [AgdaAny] -> T_Any_34 -> [AgdaAny] #

d_satisfied_120 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Σ_14 #

du_satisfied_120 :: [AgdaAny] -> T_Any_34 -> T_Σ_14 #

d_toSum_126 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_Any_34 -> T__'8846'__30 #

du_toSum_126 :: T_Any_34 -> T__'8846'__30 #

d_fromSum_132 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T__'8846'__30 -> T_Any_34 #

du_fromSum_132 :: T__'8846'__30 -> T_Any_34 #

d_any'63'_138 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Dec_20 #

du_any'63'_138 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Dec_20 #

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

du_satisfiable_148 :: T_Σ_14 -> T_Σ_14 #

d_any_154 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Dec_20 #