L0 = <http://www.simantics.org/Layer0-1.1>

L0.list : L0.Template 
    L0.HasDescription "A builtin template that is only used in graph compilation."

L0.List <T L0.Value
    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.HasRange 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
L0.List.ElementWithInverse <R L0.List.Element
    L0.InverseOf L0.List.ElementWithInverse.Inverse <R L0.IsRelatedTo