TimeTicketStruct

constructor(lamport: String, delimiter: UInt, actorID: ActorID)