Mavryk_webassembly_interpreter.Valid
exception Invalid of Source.region * string
val check_module : Ast.module_ -> unit Lwt.t