blob: c67fb9ae078b3c3450f6469cc24f190191c0d8ac (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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 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)]
|
