1 2 3
exception Invalid of Source.region * string val check_module : Ast.module_ -> unit (* raises Invalid *)