module ROC.ID.Language where

-- | A language into which values can be localized when pretty printing.
--
data Language = English | Chinese