u3_noun u3qdb_dif(u3_noun a, u3_noun b) { if ( u3_nul == b ) { return u3k(a); } else { u3_noun n_b, l_b, r_b; u3_noun c, l_c, r_c; if ( c3n == u3r_trel(b, &n_b, &l_b, &r_b) ) { return u3m_bail(c3__exit); } else { c = u3qdb_bif(a, n_b); if ( c3n == u3r_cell(c, &l_c, &r_c) ) { return u3m_bail(c3__exit); } else { u3_noun d; u3_noun e; d = u3qdb_dif(l_c, l_b); e = u3qdb_dif(r_c, r_b); u3z(c); return _b_dif_join(d, e); } } } }
/* functions */ u3_noun u3wdb_bif(u3_noun cor) { u3_noun a, b; if ( c3n == u3r_mean(cor, u3x_sam, &b, u3x_con_sam, &a, 0) ) { return u3m_bail(c3__exit); } else { return u3qdb_bif(a, b); } }