{HEAD ~ The computer readable storage medium} 10, wherein {TAIL ~ the operation} is parameterized by an element type parameter and a key type parameter 
wherein
{ HEAD ~ The computer readable storage medium } 10 , wherein { TAIL ~ the operation } is parameterized by an element type parameter and a key type parameter
HEAD HEAD HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH