diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/concepts/Tuple.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/concepts/Tuple.ml b/lib/concepts/Tuple.ml index 3050c13..8fac426 100644 --- a/lib/concepts/Tuple.ml +++ b/lib/concepts/Tuple.ml @@ -1,3 +1,5 @@ +(* @needs Value *) + module AttributeMap = BatMap.String (** A tuple: a finite map from attribute name to attribute. *) |