Documentation

spaces' :: Int -> Int -> StringSource

spaces :: Int -> StringSource

branch' :: Int -> StringSource

branchAr' :: Int -> StringSource

fbranch :: Int -> String -> String -> StringSource

branch :: String -> (Int -> a -> String) -> Int -> a -> StringSource

nLines :: String -> IntSource

mLines :: String -> Int -> StringSource

showValuationPair :: Int -> ValuationPair -> StringSource

showSpecConstant :: SpecConstant -> StringSource

aTup :: String -> Int -> [a] -> (Int -> a -> String) -> StringSource

dTup :: String -> Int -> String -> a -> (Int -> a -> String) -> StringSource

tup :: String -> Int -> a -> b -> (Int -> a -> String) -> (Int -> b -> String) -> StringSource

tupArray :: String -> Int -> a -> [b] -> (Int -> a -> String) -> (Int -> b -> String) -> StringSource

showQualIdentifier :: Int -> QualIdentifier -> StringSource

showSort :: Int -> Sort -> StringSource

showIdentifier :: Int -> Identifier -> StringSource

showTerm :: Int -> Term -> StringSource

showVarBinding :: Int -> VarBinding -> StringSource

showSortedVar :: Int -> SortedVar -> StringSource

showAttribute :: Int -> Attribute -> StringSource

showAttrValue :: Int -> AttrValue -> StringSource

showSexpr :: Int -> Sexpr -> StringSource