Searched full:fn_1 (Results 1 – 1 of 1) sorted by relevance
21 /// Given an expression E and functions Fn_1,...,Fn_n : Expr * -> Expr *,22 /// Return Fn_n(...(Fn_1(E)))31 /// Given an expression E and functions Fn_1,...,Fn_n : Expr * -> Expr *,