-- This is the fast version of the integers.
-- It uses the preferred version of the integers, but with more efficient operations.
module Cubical.Data.Fast.Int where

open import Cubical.Data.Fast.Int.Base public
open import Cubical.Data.Fast.Int.Properties public