TorchLean API
Docs Home
Guide
Examples
Graphs
Lean
.
BuiltinDocAttr
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Lean.Compiler.InitAttr
Imported by
Lean
.
declareBuiltinDocStringAndRanges
source
def
Lean
.
declareBuiltinDocStringAndRanges
(
declName
:
Name
)
:
AttrM
Unit
Instances For