let check_require provide_list def = match def with
    LnkRequire (name,_) ->
      if List.mem name provide_list then
        ()
      else
        raise_linker_error (concat ["Function ";name;" was required but not provided."])
  | _ -> ()