A graph's declaration with the operations it promises, checked once where composition binds it. A graph that declares nothing is refused, never read as "no capabilities".
A graph's declaration with the operations it promises, checked once where composition binds it. A graph that declares nothing is refused, never read as "no capabilities".