import Choreography.Projection.Project.ImplConstructors.Base
import Choreography.Projection.Project.ImplConstructors.SendRecv
import Choreography.Projection.Project.ImplConstructors.Mu

/-! # Project ImplConstructors

Barrel for constructor agreement lemmas (Base/SendRecv/Mu).
-/
