Function encode

deps/v8/tools/torque/format-torque.py:18–19

(arg, encoding="utf-8")

  return arg.decode(encoding)

def encode(arg, encoding="utf-8"):
  return arg.encode(encoding)

kPercentEscape = r'α';  # Unicode alpha
kDerefEscape = r'☆'; # Unicode star