blob: b28a5c811ec7c8d464fbe728406cd268cf852ea5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{-# 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
|
