[Dijkstra] resolve ambiguity: visibility of reference inputs#1014

williamdemeo merged 8 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

1005-dijkstra-cip-0118-ambiguity-visibility-of-reference-inputsIntersectMBO/formal-ledger-specifications:1005-dijkstra-cip-0118-ambiguity-visibility-of-reference-inputsCopy head branch name to clipboard