blob: 81b4a33d742b30d962b4219d69ccde0463e0cc07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/// @file
#include "jets/q.h"
#include "jets/w.h"
#include "noun.h"
/* variant of u3we_mink() / u3m_soft_run(). caching, no scry.
*/
u3_noun
u3we_mice(u3_noun cor) {
u3_noun bus, fol;
if ( c3n == u3r_mean(cor, u3x_sam_2, &bus,
u3x_sam_3, &fol,
0) )
{
return u3m_bail(c3__exit);
}
else {
return u3m_soft_cax(u3n_nock_on, u3k(bus), u3k(fol));
}
}
|