appN function

App appN(
  1. FuncDecl decl,
  2. Iterable<Expr> args
)

Implementation

App appN(FuncDecl decl, Iterable<Expr> args) =>
    App(decl, args.toList()).declare();