Documentation

Lean.Compiler.ExportAttr

@[export lean_get_export_name_for]
Equations
    Instances For
      def Lean.isExport (env : Environment) (n : Name) :
      Equations
        Instances For