class_docstr: Resolver objects handle the process of looking up actual names and types.
  
  Unless noted otherwise, all resolve_* methods:
    * have a first namespace argument, mapping string to actual values
    * have a second types_namespace argument, mapping string to actual inferred
      types
    * specify names as QN objects
    * specify types as a Set of inferred types
  
  Unless noted otherwise, all resolve_* methods must return either:
    * a set of `type` objects
    * None
class_docstr_tok: ["Resolver","objects","handle","the","process","of","looking","up","actual","names","and","types",".","Unless","noted","otherwise",",","all","resolve_","*","methods",":","*","have","a","first","namespace","argument",",","mapping","string","to","actual","values","*","have","a","second","types_namespace","argument",",","mapping","string","to","actual","inferred","types","*","specify","names","as","QN","objects","*","specify","types","as","a","Set","of","inferred","types","Unless","noted","otherwise",",","all","resolve_","*","methods","must","return","either",":","*","a","set","of","`","type","`","objects","*","None"]
docstr: Resolves the type of a (possibly annotated) function argument.
  
  Args:
    ns: namespace
    types_ns: types namespace
    f_name: str, the function name
    name: str, the argument name
    type_anno: the type annotating the argument, if any
    f_is_local: bool, whether the function is a local function
  Returns:
    Set of the argument types.
docstr_tok: ["Resolves","the","type","of","a","(","possibly","annotated",")","function","argument",".","Args",":","ns",":","namespace","types_ns",":","types","namespace","f_name",":","str",",","the","function","name","name",":","str",",","the","argument","name","type_anno",":","the","type","annotating","the","argument",",","if","any","f_is_local",":","bool",",","whether","the","function","is","a","local","function","Returns",":","Set","of","the","argument","types","."]
code: def res_arg(self, ns, types_ns, f_name, name, type_anno, f_is_local):
      """Resolves the type of a (possibly annotated) function argument.
  
      Args:
        ns: namespace
        types_ns: types namespace
        f_name: str, the function name
        name: str, the argument name
        type_anno: the type annotating the argument, if any
        f_is_local: bool, whether the function is a local function
      Returns:
        Set of the argument types.
      """
      raise NotImplementedError("subclasses must implement")
  
imports: import itertools
  from typing import Any, Callable, Dict, Set
  import gast
  from tensorflow.python.autograph.pyct import anno
  from tensorflow.python.autograph.pyct import cfg
  from tensorflow.python.autograph.pyct import qual_names
  from tensorflow.python.autograph.pyct import transformer
  from tensorflow.python.autograph.pyct.static_analysis import activity
  from tensorflow.python.autograph.pyct.static_analysis import annos
label_desc: Use image node_id 3 for calling the Resolver obj's underlying member method code with example usage: obj.res_arg(ns, types_ns, f_name, name, type_anno, f_is_local) without return types