Documentation

d_Tree_42 :: p -> p -> p -> p -> p -> p -> () #

d_Map_194 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> () #

d_empty_198 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 #

du_empty_198 :: T_Tree_254 #

d_singleton_200 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> AgdaAny -> AgdaAny -> T_Tree_254 #

du_singleton_200 :: AgdaAny -> AgdaAny -> T_Tree_254 #

d_insert_202 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> AgdaAny -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

du_insert_202 :: T_StrictTotalOrder_1036 -> AgdaAny -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

d_insertWith_204 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> AgdaAny -> (Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

du_insertWith_204 :: T_StrictTotalOrder_1036 -> AgdaAny -> (Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

d_delete_206 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

du_delete_206 :: T_StrictTotalOrder_1036 -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

d_lookup_208 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> AgdaAny -> Maybe AgdaAny #

du_lookup_208 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> AgdaAny -> Maybe AgdaAny #

d_map_210 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

du_map_210 :: (AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

d_member_214 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> AgdaAny -> T_Tree_254 -> Bool #

du_member_214 :: T_StrictTotalOrder_1036 -> AgdaAny -> T_Tree_254 -> Bool #

d_headTail_216 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> Maybe T_Σ_14 #

du_headTail_216 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> Maybe T_Σ_14 #

d_initLast_218 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> Maybe T_Σ_14 #

du_initLast_218 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> Maybe T_Σ_14 #

d_foldr_220 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Tree_254 -> AgdaAny #

du_foldr_220 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Tree_254 -> AgdaAny #

d_fromList_226 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> [T_Σ_14] -> T_Tree_254 #

du_fromList_226 :: T_StrictTotalOrder_1036 -> [T_Σ_14] -> T_Tree_254 #

d_toList_228 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> [T_Σ_14] #

du_toList_228 :: T_Tree_254 -> [T_Σ_14] #

d_size_230 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> Integer #

du_size_230 :: T_Tree_254 -> Integer #

d_unionWith_232 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_unionWith_232 :: T_StrictTotalOrder_1036 -> (AgdaAny -> Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_union_236 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_union_236 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_unionsWith_238 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

du_unionsWith_238 :: T_StrictTotalOrder_1036 -> (AgdaAny -> Maybe AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

d_unions_242 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> [T_Tree_254] -> T_Tree_254 #

du_unions_242 :: T_StrictTotalOrder_1036 -> [T_Tree_254] -> T_Tree_254 #

d_intersectionWith_244 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_intersectionWith_244 :: T_StrictTotalOrder_1036 -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_intersection_248 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_intersection_248 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_intersectionsWith_250 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

du_intersectionsWith_250 :: T_StrictTotalOrder_1036 -> (AgdaAny -> AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

d_intersections_254 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> [T_Tree_254] -> T_Tree_254 #

du_intersections_254 :: T_StrictTotalOrder_1036 -> [T_Tree_254] -> T_Tree_254 #

d__'8712''63'__256 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> AgdaAny -> T_Tree_254 -> Bool #

du__'8712''63'__256 :: T_StrictTotalOrder_1036 -> AgdaAny -> T_Tree_254 -> Bool #