fn distinct_on_keys_of(typ: &RelationType, map: &BTreeMap<usize, usize>) -> bool
True iff some unique key of typ is contained in the keys of map.
typ
map