Ownership

  • Jai provides the owned pointer notation: int *! indices