finite-wasm 0.6.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

type data
type t = data

val alloc : string -> data
val size : data -> Memory.address
val load : data -> Memory.address -> char
val drop : data -> unit