diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/relation.ml | 2 |
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; } |
