Documentation

Lean.Compiler.IR.UnboxResult

source
opaque Lean.IR.UnboxResult.unboxAttr :
TagAttribute
source
def Lean.IR.UnboxResult.hasUnboxAttr (env : Environment) (n : Name) :
Bool
Equations
    Instances For