import Choreography.Projection.Project.ImplExtraction.ObservableExtraction
import Choreography.Projection.Project.ImplExtraction.RecvExtraction

/-! # Project ImplExtraction

Barrel for observable extraction lemmas (ObservableExtraction/RecvExtraction).
-/
