{-# OPTIONS --cubical-compatible #-}
module Terra.Data.String where
open import Agda.Builtin.String public