blob: f6164b2849f9a1cf5f2de4da8cd15cccb41c0e90 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
type relation_name = string
type t =
| MemberOf of relation_name
| Not of t * relation_name option
| And of t list
| Or of t list
| Exists of {variable: string; quantifier: relation_name; constraint': t}
| Forall of {variable: string; quantifier: relation_name; constraint': t}
|
