Skip to content

fix(semantics,symbols): a then x; succession owns its two ends on the native walk — nameless ReferenceUsages through an EndFeatureMembership each, named by the happensBeforeLinks end they redefine, the target end reference-subsetting the member it reaches — as the RDF writer mints them and the pilot exports them - #2173

Open
devin-ai-integration[bot] wants to merge 3 commits into
developfrom
fix/then-succession-end-memberships
Open

fix(semantics,symbols): a then x; succession owns its two ends on the native walk — nameless ReferenceUsages through an EndFeatureMembership each, named by the happensBeforeLinks end they redefine, the target end reference-subsetting the member it reaches — as the RDF writer mints them and the pilot exports them#2173
devin-ai-integration[bot] wants to merge 3 commits into
developfrom
fix/then-succession-end-memberships

fix(semantics): a `then` succession's generated end takes the range t…

9c62649
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar