src/Wasm/Value.agda


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

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

module Wasm.Value where

open import Data.Fin using (Fin)
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