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