Traits

  • Projection trait for projection of linear types and shapes