blob: 86af7551abe5a66ce4b06efe8cbb5b513a1d8180 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
open Sexplib.Std
type cardinality_spec = Finite of int | AlephZero | Continuum | ConstrainedFinite
[@@deriving sexp]
type statement =
| CreateMultigroup 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]
|
