import Choreography.Projection.Project.ImplBase
import Choreography.Projection.Project.ImplU
import Choreography.Projection.Project.ImplConstructors
import Choreography.Projection.Project.ImplTransRelComp
import Choreography.Projection.Project.ImplHeadPreservation
import Choreography.Projection.Project.ImplObservables
import Choreography.Projection.Project.ImplExtraction
import Choreography.Projection.Project.ImplCompPostfix
import Choreography.Projection.Project.ImplCompleteness
/-! # Project Impl

Barrel file re-exporting all projection implementation pieces.
-/
