open Value
open Instance

exception Link of Source.region * string
exception Trap of Source.region * string
exception Crash of Source.region * string
exception Exhaustion of Source.region * string
exception Exception of Source.region * Exn.t

val init : Ast.module_ -> externinst list -> moduleinst (* raises Link, Trap, Exception *)
val invoke : funcinst -> value list -> value list (* raises Trap, Exception *)