Documentation
Lean
.
Compiler
.
BorrowedAnnotation
Search
return to top
source
Imports
Lean.Expr
Imported by
Lean
.
markBorrowed
Lean
.
isMarkedBorrowed
source
def
Lean
.
markBorrowed
(
e
:
Expr
)
:
Expr
Instances For
source
def
Lean
.
isMarkedBorrowed
(
e
:
Expr
)
:
Bool
Instances For