up

xieyuheng · xieyuheng · commit 1dc228c9044e · 2024-10-21T10:46:24.000+08:00
diff --git a/docs/std/datatype/Pair.i.out 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₄)
+}
