semantic: Type aa.keys and aa.values.