uuagc-bootstrap
ATermWrite
writeATerm :: ATerm -> String
writeAT :: Int -> ATerm -> String
writeATermAux :: [Char] -> [[Char]] -> [Char]
sepBy :: a -> [a] -> [a]
commaSep :: [[Char]] -> [Char]
bracket :: [Char] -> [Char]
parenthesise :: [Char] -> [Char]
quote :: [Char] -> [Char]