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