getExprApp function

App? getExprApp(
  1. Expr expr
)

Get the App representing an expression, this gives you access to the underlying FuncDecl and parameters.

Implementation

App? getExprApp(Expr expr) => currentContext.getExprApp(expr);