------------------------------------------------------------------------ -- Strings ------------------------------------------------------------------------ module Tools.String where open import Data.String.Base public using (String)