opaque Lean.IR.UnboxResult.unboxAttr : TagAttribute

def Lean.IR.UnboxResult.hasUnboxAttr (env : Environment) (n : Name) : Bool

Equations

• Lean.IR.UnboxResult.hasUnboxAttr env n = Lean.IR.UnboxResult.unboxAttr.hasTag env n