withNameAllocator

Convenience function to avoid name clashes.

withNameAllocator {
  val name1 = newName("T")
  val name2 = newName("T")
}