Home
last modified time | relevance | path

Searched refs:element_to_key (Results 1 – 1 of 1) sorted by relevance

/external/google-fruit/extras/benchmark/
Drun_benchmarks.py657 def group_by(l, element_to_key): argument
661 result[element_to_key(elem)].append(elem)