HistoryList.empty constructor

const HistoryList.empty()

Implementation

const HistoryList.empty()
:
    values = const []
;