Searched defs:auxmap (Results 1 – 2 of 2) sorted by relevance
255 func partitionValues(a []*Value, auxIDs auxmap) []eqclass {283 type auxmap map[Aux]int32 type285 func cmpVal(v, w *Value, auxIDs auxmap) types.Cmp {
83 auxmap auxmap // map from aux values to opaque ids used by CSE member