diff --git a/jets/d/by_bif.c b/jets/d/by_bif.c index f61f8379b..8afa2aac8 100644 --- a/jets/d/by_bif.c +++ b/jets/d/by_bif.c @@ -5,7 +5,8 @@ /* internal functions */ - u3_noun _b_bif_putroot(u3_noun a, u3_noun b) + u3_noun _b_bif_putroot(u3_noun a, + u3_noun b) { if ( u3_nul == a) { return u3nt(u3k(b), u3_nul, u3_nul); @@ -62,7 +63,8 @@ } } - u3_noun u3qdb_bif(u3_noun a, u3_noun b) + u3_noun u3qdb_bif(u3_noun a, + u3_noun b) { u3_noun c, n_c, l_c, r_c; u3_noun d; diff --git a/jets/d/by_dif.c b/jets/d/by_dif.c index e6f202ab3..82563543c 100644 --- a/jets/d/by_dif.c +++ b/jets/d/by_dif.c @@ -5,7 +5,8 @@ /* internal functions */ - u3_noun _b_dif_join(u3_noun d, u3_noun e) + u3_noun _b_dif_join(u3_noun d + u3_noun e) { if ( u3_nul == d ) { return u3k(e); @@ -48,7 +49,8 @@ } } - u3_noun u3qdb_dif(u3_noun a, u3_noun b) + u3_noun u3qdb_dif(u3_noun a, + u3_noun b) { if ( u3_nul == b ) { return u3k(a); diff --git a/jets/d/by_gas.c b/jets/d/by_gas.c index 826a1d9da..caa7f5291 100644 --- a/jets/d/by_gas.c +++ b/jets/d/by_gas.c @@ -7,9 +7,8 @@ /* functions */ u3_noun - u3qdb_gas( - u3_noun a, - u3_noun b) + u3qdb_gas(u3_noun a, + u3_noun b) { if ( u3_nul == b ) { return u3k(a); @@ -41,8 +40,7 @@ } } u3_noun - u3wdb_gas( - u3_noun cor) + u3wdb_gas(u3_noun cor) { u3_noun a, b; @@ -53,7 +51,8 @@ } } u3_noun - u3kdb_gas(u3_noun a, u3_noun b) + u3kdb_gas(u3_noun a, + u3_noun b) { u3_weak c = u3qdb_gas(a, b); diff --git a/jets/d/by_get.c b/jets/d/by_get.c index 5a97bd860..588578764 100644 --- a/jets/d/by_get.c +++ b/jets/d/by_get.c @@ -7,7 +7,8 @@ /* functions */ u3_noun - u3qdb_get(u3_noun a, u3_noun b) + u3qdb_get(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3_nul; @@ -46,7 +47,8 @@ } } u3_weak - u3kdb_get(u3_noun a, u3_noun b) + u3kdb_get(u3_noun a, + u3_noun b) { u3_noun c = u3qdb_get(a, b); @@ -62,7 +64,8 @@ } } u3_noun - u3kdb_got(u3_noun a, u3_noun b) + u3kdb_got(u3_noun a, + u3_noun b) { u3_weak c = u3kdb_get(a, b); diff --git a/jets/d/by_has.c b/jets/d/by_has.c index 1a42abb2b..0fa41bf3e 100644 --- a/jets/d/by_has.c +++ b/jets/d/by_has.c @@ -7,9 +7,8 @@ /* functions */ u3_noun - u3qdb_has( - u3_noun a, - u3_noun b) + u3qdb_has(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return c3n; @@ -37,8 +36,7 @@ } } u3_noun - u3wdb_has( - u3_noun cor) + u3wdb_has(u3_noun cor) { u3_noun a, b; @@ -49,7 +47,8 @@ } } u3_noun - u3kdb_has(u3_noun a, u3_noun b) + u3kdb_has(u3_noun a, + u3_noun b) { u3_weak c = u3qdb_has(a, b); diff --git a/jets/d/by_int.c b/jets/d/by_int.c index 01ebd5517..f8e5a2231 100644 --- a/jets/d/by_int.c +++ b/jets/d/by_int.c @@ -9,9 +9,8 @@ /* functions */ u3_noun - u3qdb_int( - u3_noun a, - u3_noun b) + u3qdb_int(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3k(u3_nul); @@ -44,76 +43,57 @@ else if ( c3y == u3qc_vor(p_n_a, p_n_b) ) { if ( c3y == u3r_sing(p_n_a, p_n_b) ) { return u3nt( - u3k(n_b), u3qdb_int(u3k(l_a), u3k(l_b)), u3qdb_int(u3k(r_a), u3k(r_b))); } else if ( c3y == u3qc_gor(p_n_b, p_n_a) ) { return u3qdb_uni( - - u3qdb_int( - u3k(l_a), - u3nt( - u3k(n_b), - u3k(l_b), - u3k(u3_nul))), - u3qdb_int( - u3k(a), - u3k(r_b))); + u3qdb_int(u3k(l_a), + u3nt(u3k(n_b), + u3k(l_b), + u3k(u3_nul))), + u3qdb_int(u3k(a), + u3k(r_b))); } else { return u3qdb_uni( - - u3qdb_int( - u3k(r_a), - u3nt( - u3k(n_b), - u3k(u3_nul), - u3k(r_b))), - u3qdb_int( - u3k(a), - u3k(l_b))); + u3qdb_int(u3k(r_a), + u3nt(u3k(n_b), + u3k(u3_nul), + u3k(r_b))), + u3qdb_int(u3k(a), + u3k(l_b))); } } else if ( c3y == u3r_sing(p_n_b, p_n_a) ) { return u3nt( - u3k(n_b), u3qdb_int(u3k(l_b), u3k(l_a)), u3qdb_int(u3k(r_b), u3k(r_a))); } else if ( c3y == u3qc_gor(p_n_a, p_n_b) ) { return u3qdb_uni( - - u3qdb_int( - u3k(l_b), - u3nt( - u3k(n_a), - u3k(l_a), - u3k(u3_nul))), - u3qdb_int( - u3k(a), - u3k(r_a))); + u3qdb_int(u3k(l_b), + u3nt(u3k(n_a), + u3k(l_a), + u3k(u3_nul))), + u3qdb_int(u3k(a), + u3k(r_a))); } else { return u3qdb_uni( - - u3qdb_int( - u3k(r_b), - u3nt( - u3k(n_a), - u3k(u3_nul), - u3k(r_a))), - u3qdb_int( - u3k(a), - u3k(l_a))); + u3qdb_int(u3k(r_b), + u3nt(u3k(n_a), + u3k(u3_nul), + u3k(r_a))), + u3qdb_int(u3k(a), + u3k(l_a))); } } } u3_noun - u3wdb_int( - u3_noun cor) + u3wdb_int(u3_noun cor) { u3_noun a, b; diff --git a/jets/d/by_put.c b/jets/d/by_put.c index 3d712d94a..5bafdc0c2 100644 --- a/jets/d/by_put.c +++ b/jets/d/by_put.c @@ -7,10 +7,9 @@ /* functions */ u3_noun - u3qdb_put( - u3_noun a, - u3_noun b, - u3_noun c) + u3qdb_put(u3_noun a, + u3_noun b, + u3_noun c) { if ( u3_nul == a ) { return u3nt( @@ -52,11 +51,10 @@ { u3_noun e = u3nt (u3k(n_d), - u3k(l_d), - u3nt( - u3k(n_a), - u3k(r_d), - u3k(r_a))); + u3k(l_d), + u3nt(u3k(n_a), + u3k(r_d), + u3k(r_a))); u3z(d); return e; @@ -68,19 +66,18 @@ if ( c3y == u3qc_vor(pn_a, u3h(u3h(d))) ) { return u3nt(u3k(n_a), - u3k(l_a), - d); + u3k(l_a), + d); } else { u3r_trel(d, &n_d, &l_d, &r_d); { u3_noun e = u3nt (u3k(n_d), - u3nt( - u3k(n_a), - u3k(l_a), - u3k(l_d)), - u3k(r_d)); + u3nt(u3k(n_a), + u3k(l_a), + u3k(l_d)), + u3k(r_d)); u3z(d); return e; @@ -91,21 +88,22 @@ } } u3_noun - u3wdb_put( - u3_noun cor) + u3wdb_put(u3_noun cor) { u3_noun a, b, c; if ( c3n == u3r_mean(cor, u3x_sam_2, &b, - u3x_sam_3, &c, - u3x_con_sam, &a, 0) ) { + u3x_sam_3, &c, + u3x_con_sam, &a, 0) ) { return u3m_bail(c3__exit); } else { return u3qdb_put(a, b, c); } } u3_weak - u3kdb_put(u3_noun a, u3_noun b, u3_noun c) + u3kdb_put(u3_noun a, + u3_noun b, + u3_noun c) { // Bizarre asymmetry in old jets. // diff --git a/jets/d/by_uni.c b/jets/d/by_uni.c index 8ab20337e..0725b7924 100644 --- a/jets/d/by_uni.c +++ b/jets/d/by_uni.c @@ -9,9 +9,8 @@ /* functions */ u3_noun - u3qdb_uni( - u3_noun a, - u3_noun b) + u3qdb_uni(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3k(b); @@ -44,80 +43,61 @@ else if ( c3y == u3qc_vor(p_n_a, p_n_b) ) { if ( c3y == u3r_sing(p_n_a, p_n_b) ) { return u3nt(u3k(n_b), - u3qdb_uni( - u3k(l_a), u3k(l_b)), - u3qdb_uni( - u3k(r_a), u3k(r_b))); + u3qdb_uni(u3k(l_a), + u3k(l_b)), + u3qdb_uni(u3k(r_a), + u3k(r_b))); } else if ( c3y == u3qc_gor(p_n_b, p_n_a) ) { return u3qdb_uni( - - u3nt( - u3k(n_a), - u3qdb_uni( - u3k(l_a), - u3nt( - u3k(n_b), - u3k(l_b), - u3k(u3_nul))), - u3k(r_a)), + u3nt(u3k(n_a), + u3qdb_uni(u3k(l_a), + u3nt(u3k(n_b), + u3k(l_b), + u3k(u3_nul))), + u3k(r_a)), u3k(r_b)); } else { return u3qdb_uni( - - u3nt( - u3k(n_a), - u3k(l_a), - u3qdb_uni( - u3k(r_a), - u3nt( - u3k(n_b), - u3k(u3_nul), - u3k(r_b)))), + u3nt(u3k(n_a), + u3k(l_a), + u3qdb_uni(u3k(r_a), + u3nt(u3k(n_b), + u3k(u3_nul), + u3k(r_b)))), u3k(l_b)); } } else if ( c3y == u3r_sing(p_n_b, p_n_a) ) { - return u3nt( - - u3k(n_b), - u3qdb_uni(u3k(r_b), u3k(r_a)), - u3qdb_uni(u3k(l_b), u3k(l_a))); + return u3nt(u3k(n_b), + u3qdb_uni(u3k(r_b), u3k(r_a)), + u3qdb_uni(u3k(l_b), u3k(l_a))); } else if ( c3y == u3qc_gor(p_n_a, p_n_b) ) { return u3qdb_uni( - u3k(r_a), - u3nt( - u3k(n_b), - u3qdb_uni( - u3nt( - u3k(n_a), - u3k(l_a), - u3k(u3_nul)), - u3k(l_b)), - u3k(r_b))); + u3nt(u3k(n_b), + u3qdb_uni(u3nt(u3k(n_a), + u3k(l_a), + u3k(u3_nul)), + u3k(l_b)), + u3k(r_b))); } else { return u3qdb_uni( - u3k(l_a), - u3nt( - u3k(n_b), - u3k(l_b), - u3qdb_uni( - u3k(r_b), - u3nt( - u3k(n_a), - u3k(u3_nul), - u3k(r_a))))); + u3nt(u3k(n_b), + u3k(l_b), + u3qdb_uni(u3k(r_b), + u3nt(u3k(n_a), + u3k(u3_nul), + u3k(r_a))))); } } } u3_noun - u3wdb_uni( - u3_noun cor) + u3wdb_uni(u3_noun cor) { u3_noun a, b; diff --git a/jets/d/in_bif.c b/jets/d/in_bif.c index c1febda27..5abace47a 100644 --- a/jets/d/in_bif.c +++ b/jets/d/in_bif.c @@ -5,7 +5,8 @@ /* internal functions */ - u3_noun _i_bif_putroot(u3_noun a, u3_noun b) + u3_noun _i_bif_putroot(u3_noun a, + u3_noun b) { if ( u3_nul == a) { return u3nt(u3k(b), u3_nul, u3_nul); @@ -28,8 +29,7 @@ u3r_trel(c, &n_c, &l_c, &r_c); d = u3nt(u3k(n_c), u3k(l_c), - u3nt(u3k(n_a), u3k(r_c), u3k(r_a)) - ); + u3nt(u3k(n_a), u3k(r_c), u3k(r_a))); u3z(c); return d; } else { @@ -37,8 +37,7 @@ u3r_trel(c, &n_c, &l_c, &r_c); d = u3nt(u3k(n_c), u3nt(u3k(n_a), u3k(l_a), u3k(l_c)), - u3k(r_c) - ); + u3k(r_c)); u3z(c); return d; } @@ -58,7 +57,8 @@ } } - u3_noun u3qdi_bif(u3_noun a, u3_noun b) + u3_noun u3qdi_bif(u3_noun a, + u3_noun b) { u3_noun c, n_c, l_c, r_c; u3_noun d; diff --git a/jets/d/in_dif.c b/jets/d/in_dif.c index 11aa72c23..1a861b5a6 100644 --- a/jets/d/in_dif.c +++ b/jets/d/in_dif.c @@ -5,7 +5,8 @@ /* internal functions */ - u3_noun _i_dif_join(u3_noun d, u3_noun e) + u3_noun _i_dif_join(u3_noun d, + u3_noun e) { if ( u3_nul == d ) { return u3k(e); @@ -44,7 +45,8 @@ } } - u3_noun u3qdi_dif(u3_noun a, u3_noun b) + u3_noun u3qdi_dif(u3_noun a, + u3_noun b) { if ( u3_nul == b ) { return u3k(a); diff --git a/jets/d/in_gas.c b/jets/d/in_gas.c index fccbf5c65..f3f8d7372 100644 --- a/jets/d/in_gas.c +++ b/jets/d/in_gas.c @@ -7,9 +7,8 @@ /* functions */ u3_noun - u3qdi_gas( - u3_noun a, - u3_noun b) + u3qdi_gas(u3_noun a, + u3_noun b) { if ( u3_nul == b ) { return u3k(a); @@ -34,8 +33,7 @@ } } u3_noun - u3wdi_gas( - u3_noun cor) + u3wdi_gas(u3_noun cor) { u3_noun a, b; @@ -46,7 +44,8 @@ } } u3_noun - u3kdi_gas(u3_noun a, u3_noun b) + u3kdi_gas(u3_noun a, + u3_noun b) { u3_weak c = u3qdi_gas(a, b); diff --git a/jets/d/in_has.c b/jets/d/in_has.c index 0911d9f77..fb142bc74 100644 --- a/jets/d/in_has.c +++ b/jets/d/in_has.c @@ -7,7 +7,8 @@ /* functions */ u3_noun - u3qdi_has(u3_noun a, u3_noun b) + u3qdi_has(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return c3n; @@ -43,7 +44,8 @@ } } u3_noun - u3kdi_has(u3_noun a, u3_noun b) + u3kdi_has(u3_noun a, + u3_noun b) { u3_weak c = u3qdi_has(a, b); diff --git a/jets/d/in_int.c b/jets/d/in_int.c index fcf854d68..3f39d3250 100644 --- a/jets/d/in_int.c +++ b/jets/d/in_int.c @@ -7,9 +7,8 @@ /* functions */ u3_noun - u3qdi_int( - u3_noun a, - u3_noun b) + u3qdi_int(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3k(u3_nul); @@ -42,39 +41,30 @@ } else if ( c3y == u3r_sing(n_a, n_b) ) { return u3nt(u3k(n_a), - u3qdi_int(l_a, l_b), - u3qdi_int(r_a, r_b)); + u3qdi_int(l_a, l_b), + u3qdi_int(r_a, r_b)); } else if ( c3y == u3qc_hor(n_b, n_a) ) { - return u3qdi_uni( - u3qdi_int( - l_a, - u3nt( - n_b, - l_b, - u3_nul)), - u3qdi_int( - a, - r_b)); + return u3qdi_uni(u3qdi_int(l_a, + u3nt(n_b, + l_b, + u3_nul)), + u3qdi_int(a, + r_b)); } else { - return u3qdi_uni( - u3qdi_int( - r_a, - u3nt( - n_b, - u3_nul, - r_b)), - u3qdi_int( - a, - l_b)); + return u3qdi_uni(u3qdi_int(r_a, + u3nt(n_b, + u3_nul, + r_b)), + u3qdi_int(a, + l_b)); } } } } u3_noun - u3wdi_int( - u3_noun cor) + u3wdi_int(u3_noun cor) { u3_noun a, b; diff --git a/jets/d/in_mer.c b/jets/d/in_mer.c index 191b9075e..14fa6675f 100644 --- a/jets/d/in_mer.c +++ b/jets/d/in_mer.c @@ -7,7 +7,8 @@ /* functions */ u3_noun - u3qdi_mer(u3_noun a, u3_noun b) + u3qdi_mer(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3k(b); @@ -44,30 +45,22 @@ u3qdi_mer(r_a, r_b)); } else if ( c3y == u3qc_hor(n_b, n_a) ) { - return u3qdi_mer( - u3nt( - n_a, - u3qdi_mer( - l_a, - u3nt( - n_b, - l_b, - u3_nul)), + return u3qdi_mer(u3nt(n_a, + u3qdi_mer(l_a, + u3nt(n_b, + l_b, + u3_nul)), r_a), - r_b); + r_b); } else { - return u3qdi_mer( - u3nt( - n_a, - l_a, - u3qdi_mer( - r_a, - u3nt( - n_b, - u3_nul, - r_b))), - l_b); + return u3qdi_mer(u3nt(n_a, + l_a, + u3qdi_mer(r_a, + u3nt(n_b, + u3_nul, + r_b))), + l_b); } } } diff --git a/jets/d/in_put.c b/jets/d/in_put.c index 8711e4062..10d2c4329 100644 --- a/jets/d/in_put.c +++ b/jets/d/in_put.c @@ -7,9 +7,8 @@ /* functions */ u3_noun - u3qdi_put( - u3_noun a, - u3_noun b) + u3qdi_put(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3nt(u3k(b), u3_nul, u3_nul); @@ -39,13 +38,11 @@ else { u3r_trel(c, &n_c, &l_c, &r_c); { - u3_noun d = u3nt - (u3k(n_c), - u3k(l_c), - u3nt( - u3k(n_a), - u3k(r_c), - u3k(r_a))); + u3_noun d = u3nt(u3k(n_c), + u3k(l_c), + u3nt(u3k(n_a), + u3k(r_c), + u3k(r_a))); u3z(c); return d; @@ -63,13 +60,11 @@ else { u3r_trel(c, &n_c, &l_c, &r_c); { - u3_noun d = u3nt - (u3k(n_c), - u3nt( - u3k(n_a), - u3k(l_a), - u3k(l_c)), - u3k(r_c)); + u3_noun d = u3nt(u3k(n_c), + u3nt(u3k(n_a), + u3k(l_a), + u3k(l_c)), + u3k(r_c)); u3z(c); return d; @@ -80,8 +75,7 @@ } } u3_noun - u3wdi_put( - u3_noun cor) + u3wdi_put(u3_noun cor) { u3_noun a, b; @@ -92,7 +86,8 @@ } } u3_weak - u3kdi_put(u3_noun a, u3_noun b) + u3kdi_put(u3_noun a, + u3_noun b) { // Bizarre asymmetry in old jets. // diff --git a/jets/d/in_tap.c b/jets/d/in_tap.c index e6b3f1470..c31fdff77 100644 --- a/jets/d/in_tap.c +++ b/jets/d/in_tap.c @@ -7,8 +7,7 @@ /* functions */ static u3_noun - _tap_in( - u3_noun a, + _tap_in(u3_noun a, u3_noun b) { if ( u3_nul == a ) { @@ -20,24 +19,21 @@ u3z(b); return u3m_bail(c3__exit); } else { - return _tap_in - (r_a, - u3nc(u3k(n_a), - _tap_in(l_a, b))); + return _tap_in(r_a, + u3nc(u3k(n_a), + _tap_in(l_a, b))); } } } u3_noun - u3qdi_tap( - u3_noun a, - u3_noun b) + u3qdi_tap(u3_noun a, + u3_noun b) { return _tap_in(a, u3k(b)); } u3_noun - u3wdi_tap( - u3_noun cor) + u3wdi_tap(u3_noun cor) { u3_noun a, b; @@ -48,7 +44,8 @@ } } u3_noun - u3kdi_tap(u3_noun a, u3_noun b) + u3kdi_tap(u3_noun a, + u3_noun b) { u3_weak c = u3qdi_tap(a, b); diff --git a/jets/d/in_uni.c b/jets/d/in_uni.c index 23cb36e22..5af775b73 100644 --- a/jets/d/in_uni.c +++ b/jets/d/in_uni.c @@ -7,9 +7,8 @@ /* functions */ u3_noun - u3qdi_uni( - u3_noun a, - u3_noun b) + u3qdi_uni(u3_noun a, + u3_noun b) { if ( u3_nul == a ) { return u3k(b); @@ -36,39 +35,27 @@ return u3m_bail(c3__exit); } else if ( c3y == u3r_sing(n_a, n_b) ) { - return u3nt( - - u3k(n_b), - u3qdi_uni(u3k(l_a), u3k(l_b)), - u3qdi_uni(u3k(r_a), u3k(r_b))); + return u3nt(u3k(n_b), + u3qdi_uni(u3k(l_a), u3k(l_b)), + u3qdi_uni(u3k(r_a), u3k(r_b))); } else if ( c3y == u3qc_hor(n_b, n_a) ) { - return u3qdi_uni( - - u3nt( - u3k(n_a), - u3qdi_uni( - u3k(l_a), - u3nt( - u3k(n_b), - u3k(l_b), - u3k(u3_nul))), - u3k(r_a)), - u3k(r_b)); + return u3qdi_uni(u3nt(u3k(n_a), + u3qdi_uni(u3k(l_a), + u3nt(u3k(n_b), + u3k(l_b), + u3k(u3_nul))), + u3k(r_a)), + u3k(r_b)); } else { - return u3qdi_uni( - - u3nt( - u3k(n_a), - u3k(l_a), - u3qdi_uni( - u3k(r_a), - u3nt( - u3k(n_b), - u3k(u3_nul), - u3k(r_b)))), - u3k(l_b)); + return u3qdi_uni(u3nt(u3k(n_a), + u3k(l_a), + u3qdi_uni(u3k(r_a), + u3nt(u3k(n_b), + u3k(u3_nul), + u3k(r_b)))), + u3k(l_b)); } } else if ( c3n == u3r_cell(lr_b, &l_b, &r_b) ) { @@ -78,46 +65,33 @@ return u3m_bail(c3__exit); } else if ( c3y == u3r_sing(n_b, n_a) ) { - return u3nt( - - u3k(n_b), - u3qdi_uni(u3k(r_b), u3k(r_a)), - u3qdi_uni(u3k(l_b), u3k(l_a))); + return u3nt(u3k(n_b), + u3qdi_uni(u3k(r_b), u3k(r_a)), + u3qdi_uni(u3k(l_b), u3k(l_a))); } else if ( c3y == u3qc_hor(n_a, n_b) ) { - return u3qdi_uni( - - u3k(r_a), - u3nt( - u3k(n_b), - u3qdi_uni( - u3nt( - u3k(n_a), - u3k(l_a), - u3_nul), - u3k(l_b)), - u3k(r_b))); + return u3qdi_uni(u3k(r_a), + u3nt(u3k(n_b), + u3qdi_uni(u3nt(u3k(n_a), + u3k(l_a), + u3_nul), + u3k(l_b)), + u3k(r_b))); } else { - return u3qdi_uni( - - u3k(l_a), - u3nt( - u3k(n_b), - u3k(l_b), - u3qdi_uni( - u3nt( - u3k(n_a), - u3k(u3_nul), - u3k(r_a)), - u3k(r_b)))); + return u3qdi_uni(u3k(l_a), + u3nt(u3k(n_b), + u3k(l_b), + u3qdi_uni(u3nt(u3k(n_a), + u3k(u3_nul), + u3k(r_a)), + u3k(r_b)))); } } } } u3_noun - u3wdi_uni( - u3_noun cor) + u3wdi_uni(u3_noun cor) { u3_noun a, b;