sig val check_defs : Target.Targetset.t -> Name.t -> string -> bool -> Typed_ast.env -> Ast.defs * Ast.lex_skips -> Typed_ast.env * (Typed_ast.def list * Ast.lex_skips) end