code: def _resolve_args(self, env, args):
          
          pos_args, kw_args = args
  
          def check_value(v):
              if isinstance(v, AstTypeRef):
                  return self._resolve_type(env, v)
              else:
                  return v
  
          new_pos_args = [check_value(pos_arg) for pos_arg in pos_args]
          new_kw_args = {k: check_value(v) for k, v in kw_args.items()}
          return new_pos_args, new_kw_args
docs: Resolves type references in data type arguments to data types in
          the environment.