diff options
Diffstat (limited to 'lib/protocol.ml')
| -rw-r--r-- | lib/protocol.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/protocol.ml b/lib/protocol.ml index 5fe29d1..c67fb9a 100644 --- a/lib/protocol.ml +++ b/lib/protocol.ml @@ -1,9 +1,10 @@ open Protocol_conv_xml open Sexplib0.Sexp_conv +(* open Sexplib *) type tuple = string list [@@deriving sexp, protocol ~driver:(module Xml_light)] -type command = Disk.Command.t [@@deriving sexp] +type command = Disk.Command.t [@@deriving sexp, protocol ~driver:(module Xml_light)] type relation = { attribute_name : string; @@ -11,6 +12,7 @@ type relation = { tuples : tuple; } [@@deriving sexp, protocol ~driver:(module Xml_light)] - -type facts = relation list +(* (int64 * (string*Executor.relational_literal) list) list *) +(* type facts = relation list *) +type facts = (int64 * (string*Disk.Executor.relational_literal) list) list [@@deriving sexp, protocol ~driver:(module Xml_light)] |