Documentation

d_constructors_4 :: T_Definition_280 -> [AgdaAny] #

d_names_10 :: T_String_6 -> [T_String_6] #

d_lastName_14 :: T_String_6 -> [T_String_6] -> T_String_6 #

d_getLastName_34 :: AgdaAny -> T_String_6 #

d_mk'45'cls_38 :: AgdaAny -> T_Clause_160 #

d_wildcard_42 :: T_Arg_88 #

d_absurd'45'lam_44 :: T_Term_154 #

d_default'45'cls_46 :: T_Clause_160 #

d_map2_56 :: T_Level_18 -> T_Level_18 -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] #

du_map2_56 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] #

d_map2''_70 :: T_Level_18 -> T_Level_18 -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_map2''_70 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_mk'45'DecCls_82 :: AgdaAny -> AgdaAny -> T_Clause_160 #

d_defEq_100 :: AgdaAny -> AgdaAny -> AgdaAny #

d_defDec_110 :: AgdaAny -> AgdaAny -> AgdaAny #

d_mk'45'Show_120 :: AgdaAny -> T_Clause_160 #

d_defShow_124 :: AgdaAny -> AgdaAny -> AgdaAny #

d_mkList_134 :: [T_Term_154] -> T_Term_154 #

d_defListConstructors_140 :: AgdaAny -> AgdaAny -> AgdaAny #