damhiya opened this issue 2 years ago · 0 comments
In current implementation, pretty printer naively prints internal variable names.