Documentation

d_showRelevance_4 ∷ T_Relevance_56 → T_String_6 Source #

d_showRel_6 ∷ T_Relevance_56 → T_String_6 Source #

d_showVisibility_8 ∷ T_Visibility_48 → T_String_6 Source #

d_showLiteral_10 ∷ T_Literal_124 → T_String_6 Source #

d_visibilityParen_26 ∷ T_Visibility_48 → T_String_6 → T_String_6 Source #

d_showTerms_34 ∷ [T_Arg_88] → T_String_6 Source #

d_showTerm_36 ∷ T_Term_154 → T_String_6 Source #

d_showSort_38 ∷ T_Sort_156 → T_String_6 Source #

d_showPatterns_40 ∷ [T_Arg_88] → T_String_6 Source #

d_showPattern_42 ∷ T_Pattern_158 → T_String_6 Source #

d_showClause_44 ∷ T_Clause_160 → T_String_6 Source #

d_showClauses_46 ∷ [T_Clause_160] → T_String_6 Source #

d_showTel_48 ∷ [T_Σ_14] → T_String_6 Source #

d_showArg_112 ∷ T_Arg_88 → [T_Arg_88] → T_Arg_88 → T_String_6 Source #

du_showArg_112 ∷ T_Arg_88 → T_String_6 Source #

d_braces'63'_124 ∷ T_Arg_88 → [T_Arg_88] → T_Visibility_48 → T_Relevance_56 → T_Quantity_62 → T_Pattern_158 → T_String_6 → T_String_6 Source #

du_braces'63'_124 ∷ T_Visibility_48 → T_String_6 → T_String_6 Source #

d_showDefinition_164 ∷ T_Definition_280 → T_String_6 Source #