Skip to content

Design note: InterfaceSummary + declared↔use arity family (one membrane: typecheck boundary, cache key, proof cut, seam basis, liveness root) - #6244

Merged
briansrls merged 2 commits into
mainfrom
session/gentle-owl-459
Jul 4, 2026
Merged

Design note: InterfaceSummary + declared↔use arity family (one membrane: typecheck boundary, cache key, proof cut, seam basis, liveness root)#6244
briansrls merged 2 commits into
mainfrom
session/gentle-owl-459

Design note: fold in §3.1 value-cardinality arity at seams (operator …

157d89f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar