File size: 402 Bytes
119e586 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | (* PH4.S1 — All 11 Mutation Operations (Exact from XML) *)
Inductive mutation_operation : Type :=
| AllocateObject
| ReplaceObject
| UpdateBinding
| PatchCodeRange
| InstallCodeObject
| ReplaceFunctionCell
| RewriteDispatchEntry
| InstallMacro
| RemoveBinding
| CommitWorldGeneration
| RollbackWorldGeneration.
Definition mutation_operation_count : nat := 11.
|