Documentation

Lean.Compiler.LCNF.ToImpure

source
def Lean.Compiler.LCNF.lowerResultType (type : Expr) (arity : Nat) :
CoreM Expr
Instances For
    source
    def Lean.Compiler.LCNF.toImpure :
    Pass
    Instances For