Documentation

Lean.Compiler.IR.AddExtern

source
@[export lean_add_extern]
def Lean.IR.addExtern (declName : Name) (externAttrData : ExternAttrData) :
CoreM Unit
Equations
    Instances For