blob: 1969da676670f951576fc649c17bca310c456bf3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
open Sexplib.Std
type function_predicate = {
name : string;
schema : (string * string) list;
symbol : string;
purity : Conventions.Purity.t;
cardinality : Conventions.Cardinality.t;
}
[@@deriving sexp]
type statement =
| LoadLibrary of string
| DefineFunctionPredicate of function_predicate
| ListFunctionPredicates
[@@deriving sexp]
|
