Searched defs:map_expected (Results 1 – 2 of 2) sorted by relevance
231 let map_expected = MAP_EMPTY.clone(); in map_seq_par_equivalence_collect_empty() localVariable245 let map_expected = MAP.clone(); in map_seq_par_equivalence_collect() localVariable