import Choreography.Projection.Blind.Core
import Choreography.Projection.Blind.Preservation

/-! # Choreography.Projection.Blind

Blindness predicate for V2 projection (split into Core/Preservation).
-/
