Ticket

This is a ROS message definition.

Source

rmf_reservation_msgs/RequestHeader header
uint64 ticket_id