Type Definition ideal::vec::Ids

type Ids<K> = Map<Range<usize>, fn(_: usize) -> Id<K>>;