From e099d993ba287da966568a041e19fea75c682414 Mon Sep 17 00:00:00 2001
From: Kartik Singhal <kartik.singhal@quantinuum.com>
Date: Tue, 27 Feb 2024 10:09:13 -0600
Subject: [PATCH] feat(spec): introduce Skip mop

See https://github.com/CQCL/pytket-phir/pull/138
---
 spec.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/spec.md b/spec.md
index 51a28a9..a514042 100644
--- a/spec.md
+++ b/spec.md
@@ -480,6 +480,16 @@ idling and transport include:
 }
 ```
 
+The "Skip" `"mop"` is the empty operation that indicates *do nothing*. It is used in place of operations that will
+have no effect on the machine state, such as the global phase operation.
+
+```json5
+{
+  "mop": "Skip",
+  "duration": None
+}
+```
+
 ## Blocks
 
 In the present version of PHIR/PECOS, blocks serve a dual purpose: they group operations and other blocks, and they