diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2024-12-08 13:30:48 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2024-12-08 13:30:48 -0300 |
| commit | 75f1ff70f92b9b7e7c72580ce210b5c7622918bf (patch) | |
| tree | 731c2538bcff35a47501a3a4350e622e3ed401dc /lib/disk.ml | |
| parent | f43943346e3c6d347b829bbbaeccae5f49327749 (diff) | |
| download | Sakura-75f1ff70f92b9b7e7c72580ce210b5c7622918bf.tar.gz Sakura-75f1ff70f92b9b7e7c72580ce210b5c7622918bf.zip | |
schema as a meta relation
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 = |