From 75f1ff70f92b9b7e7c72580ce210b5c7622918bf Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 8 Dec 2024 13:30:48 -0300 Subject: schema as a meta relation --- lib/disk.ml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib/disk.ml') 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 = -- cgit v1.2.3