Lean IR / wasm32-wasip1
Std.Format.pretty
Loading
Package
pretty-printer.irpkg
Target
wasm32-wasip1
Exports
...
Case
Rendered output
...
...
Lean source
...