blob: 7faee402021636c251b40829dc8a852d78f3984e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
open Sexplib.Std
type cardinality_spec =
| Finite of int
| AlephZero
| Continuum
| ConstrainedFinite
[@@deriving sexp]
type statement =
| CreateDatabase of string
| CreateRelation of { name: string; schema: (string * string) list }
| RetractRelation of string
| ClearRelation of string
| RegisterDomain of { name: string; cardinality: cardinality_spec }
[@@deriving sexp]
|
