From 5bbbbc976d25859082014f3720b82bcd2d05a2f0 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 6 Mar 2026 04:10:31 -0300 Subject: encode relations on module base --- lib/constraint.ml | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 lib/constraint.ml (limited to 'lib/constraint.ml') diff --git a/lib/constraint.ml b/lib/constraint.ml new file mode 100644 index 0000000..f6164b2 --- /dev/null +++ b/lib/constraint.ml @@ -0,0 +1,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} -- cgit v1.2.3