1 files changed, 37 insertions, 0 deletions
diff --git a/vere/pkg/noun/jets/f/ut_mull.c b/vere/pkg/noun/jets/f/ut_mull.c
new file mode 100644
index 0000000..767ab3c
--- /dev/null
+++ b/vere/pkg/noun/jets/f/ut_mull.c
@@ -0,0 +1,37 @@
+/// @file
+
+#include "jets/q.h"
+#include "jets/w.h"
+
+#include "noun.h"
+
+u3_noun
+u3wfu_mull(u3_noun cor)
+{
+  u3_noun bat, sut, gol, dox, gen, van;
+
+  if (  (c3n == u3r_mean(cor, u3x_sam_2, &gol,
+                              u3x_sam_6, &dox,
+                              u3x_sam_7, &gen,
+                              u3x_con, &van, 0))
+     || (u3_none == (bat = u3r_at(u3x_bat, van)))
+     || (u3_none == (sut = u3r_at(u3x_sam, van))) )
+  {
+    return u3m_bail(c3__fail);
+  }
+  else {
+    u3_weak vet = u3r_at(u3qfu_van_vet, van);
+    c3_m  fun_m = 141 + c3__mull + ((!!vet) << 8);
+    u3_noun key = u3z_key_5(fun_m, sut, gol, dox, gen, bat);
+    u3_weak pro = u3z_find(u3z_memo_toss, key);
+
+    if ( u3_none != pro ) {
+      u3z(key);
+      return pro;
+    }
+    else {
+      pro = u3n_nock_on(u3k(cor), u3k(u3x_at(u3x_bat, cor)));
+      return u3z_save(u3z_memo_toss, key, pro);
+    }
+  }
+}