Drop generated statements when pretty printing local modules#3414

janmasrovira merged 2 commits intomainanoma/juvix:mainfrom

3394-prettyprinter-incorretly-displays-internal-definitionsanoma/juvix:3394-prettyprinter-incorretly-displays-internal-definitionsCopy head branch name to clipboard