Documentation

d_showRelevance_6 :: T_Relevance_56 -> T_String_6 #

d_showRel_8 :: T_Relevance_56 -> T_String_6 #

d_showVisibility_10 :: T_Visibility_48 -> T_String_6 #

d_showQuantity_12 :: T_Quantity_62 -> T_String_6 #

d_showLiteral_14 :: T_Literal_124 -> T_String_6 #

d_visibilityParen_30 :: T_Visibility_48 -> T_String_6 -> T_String_6 #

d_showTerms_38 :: [T_Arg_88] -> T_String_6 #

d_showTerm_40 :: T_Term_154 -> T_String_6 #

d_showSort_42 :: T_Sort_156 -> T_String_6 #

d_showPatterns_44 :: [T_Arg_88] -> T_String_6 #

d_showPattern_46 :: T_Pattern_158 -> T_String_6 #

d_showClause_48 :: T_Clause_160 -> T_String_6 #

d_showClauses_50 :: [T_Clause_160] -> T_String_6 #

d_showTel_52 :: [T_Σ_14] -> T_String_6 #

d_showArg_116 :: T_Arg_88 -> [T_Arg_88] -> T_Arg_88 -> T_String_6 #

du_showArg_116 :: T_Arg_88 -> T_String_6 #

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 #

du_braces'63'_128 :: T_Visibility_48 -> T_String_6 -> T_String_6 #

d_showDefinition_168 :: T_Definition_280 -> T_String_6 #