//! [`SeenKeys`]: the keys of the map being read, so a repeat is refused.
use HashSet;
/// Maps up to this many keys are checked by scanning.
const SCAN_MAX: usize = 16;
/// The keys read so far of one map: a scan while it is small, a set once it
/// grows.
pub