Documentation

Lean.Compiler.BorrowedAnnotation

source
def Lean.markBorrowed (e : Expr) :
Expr
Equations
    Instances For
      source
      @[export lean_is_marked_borrowed]
      def Lean.isMarkedBorrowed (e : Expr) :
      Bool
      Equations
        Instances For