Add a pretty-printer for Interp_ast

Copy-pasted with a few tweaks from Pretty_printer.
Should really make a functor instead, but not sure how to deal with
E_internal_cast yet.

Note that Interp_ast and Ast are *not* generated from the same ott file
(resp. l2.ott and l2_type.ott), but they are close enough that the code
almost "just works".

0 files changed, 0 insertions, 0 deletions