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
8
module Make () :
sig
  exception Error of Source.region * string

  val warn : Source.region -> string -> unit
  val error : Source.region -> string -> 'a  (* raises Error *)
end