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

module Wasm.Value where

open import Data.Fin using (Fin; zero)
open import Data.String using (String)

Name : Set
Name = String

Byte : Set
Byte = Fin 256

I32 : Set
I32 = Fin 4294967296

I64 : Set
I64 = Fin 18446744073709551616

F32 : Set
F32 = Fin 4294967296

F64 : Set
F64 = Fin 18446744073709551616

0f32 : F32
0f32 = zero

0f64 : F64
0f64 = zero