File kernel.py

src/tools/REPLTool/kernel.py:None–None

# Python-based kernel for py_repl.
# Communicates over JSON lines on stdin/stdout.

import ast