opaque Lean.IR.UnboxResult.unboxAttr : Lean.TagAttribute

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

Equations

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