getExprApp function

App? getExprApp(
  1. Expr expr
)

Implementation

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