diff options
Diffstat (limited to 'lib/disk.ml')
| -rw-r--r-- | lib/disk.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/disk.ml b/lib/disk.ml index 0629a9e..ea863a5 100644 --- a/lib/disk.ml +++ b/lib/disk.ml @@ -200,6 +200,7 @@ module Command = struct | OPEN | WRITE | READ + (* | CREATE_RELATION *) let command_kind_encoding = union [ case ~title:"open" (Tag 0) @@ -214,6 +215,10 @@ module Command = struct Data_encoding.empty (function READ -> Some () | _ -> None) (function () -> READ); + (* case ~title:"create_relation" (Tag 3) *) + (* Data_encoding.empty *) + (* (function CREATE_RELATION -> Some () | _ -> None) *) + (* (function () -> CREATE_RELATION); *) ] type t = |