import Protocol.Coherence.GraphDeltaCore
import Protocol.Coherence.GraphDeltaHO

/-! # Protocol.Coherence.GraphDelta

Barrel module re-exporting higher-order consume/delta core definitions and
higher-order coherence/realizability theorems.
-/
