Documentation

d_showRelevance_6 ∷ T_Relevance_56 → T_String_6 Source #

d_showRel_8 ∷ T_Relevance_56 → T_String_6 Source #

d_showVisibility_10 ∷ T_Visibility_48 → T_String_6 Source #

d_showQuantity_12 ∷ T_Quantity_62 → T_String_6 Source #

d_showLiteral_14 ∷ T_Literal_124 → T_String_6 Source #

d_visibilityParen_30 ∷ T_Visibility_48 → T_String_6 → T_String_6 Source #

d_showTerms_38 ∷ [T_Arg_88] → T_String_6 Source #

d_showTerm_40 ∷ T_Term_154 → T_String_6 Source #

d_showSort_42 ∷ T_Sort_156 → T_String_6 Source #

d_showPatterns_44 ∷ [T_Arg_88] → T_String_6 Source #

d_showPattern_46 ∷ T_Pattern_158 → T_String_6 Source #

d_showClause_48 ∷ T_Clause_160 → T_String_6 Source #

d_showClauses_50 ∷ [T_Clause_160] → T_String_6 Source #

d_showTel_52 ∷ [T_Σ_14] → T_String_6 Source #

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

du_showArg_116 ∷ T_Arg_88 → T_String_6 Source #

d_braces'63'_128 ∷ 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'_128 ∷ T_Visibility_48 → T_String_6 → T_String_6 Source #

d_showDefinition_168 ∷ T_Definition_280 → T_String_6 Source #