definition module StringUtils

import StdEnv

strlen :: String -> Int

pad_right :: String Int -> String
pad_left :: String Int -> String

join :: String [String] -> String