Documentation

Lean.Compiler.BorrowedAnnotation

@[export lean_is_marked_borrowed]
Equations