blob: 1cf363510dc9600fc19519c054bf521d53e7cd35 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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, protocol ~driver:(module Xml_light)]
type schema = (string * (string * Disk.Executor.relational_type) list) list
[@@deriving sexp, protocol ~driver:(module Xml_light)]
type relation = {
attribute_name : string;
attribute_type : string;
tuples : tuple;
}
[@@deriving sexp, protocol ~driver:(module Xml_light)]
(* (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)]
|
