A composition theorem for -codes