{-# OPTIONS --safe #-}
module Data.String where

open import Data.String.Base                 public
open import Data.String.Operations           public
open import Data.String.Path                 public
open import Data.String.Properties           public
open import Data.String.Instances.Everything public
