let extract_provide_type def = match def with
    LnkProvide (name,ty) -> [(name,ty)]
  | _ -> []