Documentation

d_constructors_4 ∷ T_Definition_280 → [AgdaAny] Source #

d_names_10 ∷ T_String_6 → [T_String_6] Source #

d_lastName_14 ∷ T_String_6 → [T_String_6] → T_String_6 Source #

d_getLastName_34 ∷ AgdaAny → T_String_6 Source #

d_mk'45'cls_38 ∷ AgdaAny → T_Clause_160 Source #

d_wildcard_42 ∷ T_Arg_88 Source #

d_absurd'45'lam_44 ∷ T_Term_154 Source #

d_default'45'cls_46 ∷ T_Clause_160 Source #

d_map2_56 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] Source #

du_map2_56 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] Source #

d_map2''_70 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_map2''_70 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_mk'45'DecCls_82 ∷ AgdaAny → AgdaAny → T_Clause_160 Source #

d_defEq_100 ∷ AgdaAny → AgdaAny → AgdaAny Source #

d_defDec_110 ∷ AgdaAny → AgdaAny → AgdaAny Source #

d_mk'45'Show_120 ∷ AgdaAny → T_Clause_160 Source #

d_defShow_124 ∷ AgdaAny → AgdaAny → AgdaAny Source #

d_mk'45'Enum_134 ∷ [AgdaAny] → [T_Clause_160] Source #

d_go_140 ∷ Integer → [AgdaAny] → [T_Clause_160] Source #

d_defEnum_148 ∷ AgdaAny → AgdaAny → AgdaAny Source #

d_mkList_158 ∷ [T_Term_154] → T_Term_154 Source #

d_defListConstructors_164 ∷ AgdaAny → AgdaAny → AgdaAny Source #