UserPushedHistoryEvent

public struct UserPushedHistoryEvent : HistoryEvent

History event being pushed by the user

Such events are created by calling HistoryRecording.pushHistoryEvent(type:jsonData:).