From 1dc228c9044e31a21d65daf960f18fb2d1abce02 Mon Sep 17 00:00:00 2001
From: Xie Yuheng <xyheme@gmail.com>
Date: Mon, 21 Oct 2024 10:46:24 +0800
Subject: [PATCH] up

---
 docs/std/datatype/Pair.i.out | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 docs/std/datatype/Pair.i.out

diff --git a/docs/std/datatype/Pair.i.out b/docs/std/datatype/Pair.i.out
new file mode 100644
index 0000000..4d3c70e
--- /dev/null
+++ b/docs/std/datatype/Pair.i.out
@@ -0,0 +1,5 @@
+net handle-(pair₄) {
+  (pair₄)-left first-(pairDup₄)
+  (pair₄)-right second-(pairDup₄)
+  (pair₄)-value!target-(pairDup₄)
+}