Documentation

Lean.Compiler.IR.ToIRType

source
def Lean.IR.nameToIRType (n : Name) :
IRType
Instances For
    source
    def Lean.IR.toIRType (type : Lean.Expr) :
    IRType
    Instances For