finite-wasm 0.5.1

Guarantee deterministic limits on execution time and space resources made available to the WebAssembly programs in a runtime-agnostic way.
1
2
3
4
5
6
7
8
9
10
11
(* WebAssembly-compatible i32 implementation *)

include Ixx.Make
  (struct
    include Int32
    let bitwidth = 32
    let to_hex_string = Printf.sprintf "%lx"

    let of_int64 = Int64.to_int32
    let to_int64 = Int64.of_int32
  end)