indexOf

Dictionary id for name, or -1 when the dictionary does not hold it.

Binary search when the dictionary is sortedAndUnique, linear otherwise — an append-only dictionary shared across a whole segment is in insertion order, and insertion order is not name order.