import Choreography.Projection.Erasure.Core
import Choreography.Projection.Erasure.Merge
import Choreography.Projection.Erasure.PayloadCompat
import Choreography.Projection.Erasure.MergeSoundness

/-! # Choreography.Projection.Erasure

Erasure-based mergeability (split into Core/Merge/MergeSoundness).
-/
