import Protocol.DeliveryModel
import Protocol.Coherence.Consume
import Protocol.Coherence.EdgeCoherenceM


/-! # MPST Coherence (Model-Parametric)

Umbrella module that pulls in the model-parametric coherence infrastructure.
-/

set_option linter.mathlibStandardSet false
set_option relaxedAutoImplicit false
set_option autoImplicit false
set_option linter.unnecessarySimpa false
