. . . "The function is parameterized on key and value types K, V. It takes four arguments: an integer n, a birth t, a key k and a storage rs of key and value types K, V.-- Let us define a binary function next_item_2, parameterized by birth threshold t and key k." .