SEL.AbstractTypedResourceTabContribution <T SEL.AbstractResourceTabContribution
>-- SEL.AbstractTypedResourceTabContribution.HasType --> L0.Type <R L0.DependsOn
+SEL.SCLTabContribution <T SEL.TabContribution
+ >-- SEL.SCLTabContribution.instantiate ==> "() -> <Proc> TabContribution" <R L0.HasProperty
+
SEL.VariableTabContribution <T SEL.TabContribution
>-- SEL.VariableTabContribution.HasTest <R L0.DependsOn
>-- SEL.VariableTabContribution.transformation ==> "Variable -> <ReadGraph> Variable" <R L0.HasProperty
SEL.canBeLifted ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+SEL.hidden ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+
SEL.GenericParameterType <T L0.FunctionalRelation
@L0.assert SEL.HasDisplayProperty
_ : SEL.DisplayProperty