From b5532abe9256c40ce1781da3987a98bb9331e13f Mon Sep 17 00:00:00 2001
From: Alex Shelkovnykov <a@ashelkov.com>
Date: Mon, 4 Sep 2023 15:55:11 -0600
Subject: [PATCH] hoon: add +mure

---
 hoon/scaffolding/playpen.hoon | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/hoon/scaffolding/playpen.hoon b/hoon/scaffolding/playpen.hoon
index e411803..653e7ee 100644
--- a/hoon/scaffolding/playpen.hoon
+++ b/hoon/scaffolding/playpen.hoon
@@ -892,4 +892,11 @@
       %3  `[-.target u.mutant]
     ==
   --
+::
+++  mure                                                ::  untyped unitary virtual
+  |=  tap=(trap)
+  ^-  (unit)
+  =/  ton  (mink [tap %9 2 %0 1] |=(a=^ ``.*(a [%12 [%0 2] %0 3])))
+  ?.(?=(%0 -.ton) ~ `product.ton)
+
 --