def _specialize(fn, arg_types, return_type = None):
  if fn.__class__ is TypedFn:
    return fn
  typed_fundef = infer_types(fn, arg_types)
  from rewrite_typed import rewrite_typed
  return rewrite_typed(typed_fundef, return_type)
Do the actual work of type specialization, whereas the wrapper 'specialize'
dataset/ETHPy150Open iskandr/parakeet/parakeet/type_inference/type_inference.py/_specialize