import Choreography.Projection.Project.MuveImplBase
import Choreography.Projection.Project.MuveImplNonPart
import Choreography.Projection.Project.MuveImplParticipant
/-! # Project MuveImpl

Barrel for muve infrastructure and non-participant projection results.
-/
