module Word where

open import Word.Base public

-- TODO: Word.Properties