Leo output files.
Besides files with code, formalized by file, and files with inputs, formalized by input-file, Leo includes files with outputs. These are formalized here, in abstract syntax form, based on the ABNF output grammar.
