keys#

HistoryProps.keys() a set-like object providing a view on D's keys#