feat(spec): introduce Skip mop

See CQCL/pytket-phir#138
CQCL · Feb 27, 2024 · e099d99 · e099d99
1 parent 2ef469f
commit e099d99
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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