def:
let parent : Set(GeneralizableElement) = self.generalization.parent
is inferred as Bag, but should be a Set.
Generally
Bag N:1 -> Set Set N:1 -> Object or single Object Set
Log in to post a comment.