L0.HasDescription """Represents a list of resources that may contain repetitions."""
@L0.assert L0.HasValueType "[Resource]"
@L0.assert L0.ConvertsToValueWith L0.Functions.listResources
+ >-- L0.List.ElementPredicate --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation
+ @L0.assert L0.List.ElementPredicate L0.List.Element
+L0.ListWithInverses <T L0.List
+ @L0.assert L0.List.ElementPredicate L0.List.ElementWithInverse
L0.List.Entry <T L0.List
L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction
L0.HasDomain L0.List
L0.List.Previous <R L0.IsRelatedTo : L0.TotalFunction
L0.InverseOf L0.List.Next
L0.List.Element <R L0.IsRelatedTo : L0.TotalFunction
- L0.HasDomain L0.List.Entry
\ No newline at end of file
+ L0.HasDomain L0.List.Entry
+L0.List.ElementWithInverse <R L0.List.Element
+ L0.InverseOf L0.List.ElementWithInverse.Inverse <R L0.IsRelatedTo
\ No newline at end of file