- constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))) );
- constant("K", make_lam2(u, v, uu) );
- constant("I", make_lam(x, xx) );
- constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))) );
- constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)) );
- constant("W", make_lam2(u, v, make_app3(uu, vv, vv)) );
- constant("T", make_lam2(u, v, make_app(vv, uu)) );
+ constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))));
+ constant("K", make_lam2(u, v, uu));
+ constant("I", make_lam(x, xx));
+ constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
+ constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));
+ constant("W", make_lam2(u, v, make_app3(uu, vv, vv)));
+ constant("T", make_lam2(u, v, make_app(vv, uu)));