Documentation

Lean.Compiler.LCNF.Renaming

@[reducible, inline]

A mapping from free variable id to binder name.

Equations