Module projection

Source

Traitsยง

Projection
Projection trait for projection of linear types and shapes