aboutsummaryrefslogtreecommitdiffstats
path: root/lib/relation.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/relation.ml')
-rw-r--r--lib/relation.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/relation.ml b/lib/relation.ml
index 285bcef..0855b57 100644
--- a/lib/relation.ml
+++ b/lib/relation.ml
@@ -36,7 +36,7 @@ type t = {
constraints : RelationConstraint.t option;
cardinality : Conventions.Cardinality.t;
generator : Generator.t option;
- membership_criteria : Tuple.t -> bool;
+ membership_criteria : (string -> Tree.t option) -> Tuple.t -> bool;
provenance : Provenance.t;
lineage : Lineage.t;
}