Documentation

Lean.Compiler.LCNF.ToMono

Instances For
    @[inline, reducible]
    Instances For