{-# OPTIONS --without-K --safe #-}

------------------------------------------------------------------------
-- Big constant values

module Wasm.Constants where

open import Data.Nat using (ℕ)

2^32 : ℕ
2^32 = 4294967296