Documentation

d_returnTC_2 ∷ T_Level_18 → () → AgdaAny → AgdaAny Source #

d_Arg'45'info_4 ∷ () Source #

d__'8799''45'Lit__6 ∷ T_Literal_124 → T_Literal_124 → T_Dec_32 Source #

d__'8799''45'Name__8 ∷ AgdaAny → AgdaAny → T_Dec_32 Source #

d__'8799''45'Meta__10 ∷ AgdaAny → AgdaAny → T_Dec_32 Source #

d__'8799''45'Visibility__12 ∷ T_Visibility_48 → T_Visibility_48 → T_Dec_32 Source #

d__'8799''45'Relevance__14 ∷ T_Relevance_56 → T_Relevance_56 → T_Dec_32 Source #

d__'8799''45'Arg'45'info__16 ∷ T_ArgInfo_76 → T_ArgInfo_76 → T_Dec_32 Source #

d__'8799''45'Pattern__18 ∷ T_Pattern_158 → T_Pattern_158 → T_Dec_32 Source #

d__'8799''45'ArgPatterns__20 ∷ [T_Arg_88] → [T_Arg_88] → T_Dec_32 Source #

d_map'45'Abs_22 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Abs_112 → T_Abs_112 Source #

d_map'45'Arg_24 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Arg_88 → T_Arg_88 Source #

d_map'45'Args_26 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [T_Arg_88] → [T_Arg_88] Source #

d_visibility_28 ∷ T_ArgInfo_76 → T_Visibility_48 Source #

d_relevance_30 ∷ T_Modality_68 → T_Relevance_56 Source #

d__'8799''45'AbsTerm__32 ∷ T_Abs_112 → T_Abs_112 → T_Dec_32 Source #

d__'8799''45'AbsType__34 ∷ T_Abs_112 → T_Abs_112 → T_Dec_32 Source #

d__'8799''45'ArgTerm__36 ∷ T_Arg_88 → T_Arg_88 → T_Dec_32 Source #

d__'8799''45'ArgType__38 ∷ T_Arg_88 → T_Arg_88 → T_Dec_32 Source #

d__'8799''45'Args__40 ∷ [T_Arg_88] → [T_Arg_88] → T_Dec_32 Source #

d__'8799''45'Clause__42 ∷ T_Clause_160 → T_Clause_160 → T_Dec_32 Source #

d__'8799''45'Clauses__44 ∷ [T_Clause_160] → [T_Clause_160] → T_Dec_32 Source #

d__'8799'__46 ∷ T_Term_154 → T_Term_154 → T_Dec_32 Source #

d__'8799''45'Sort__48 ∷ T_Sort_156 → T_Sort_156 → T_Dec_32 Source #