Skip to content

Instantly share code, notes, and snippets.

@KKostya
Created July 25, 2018 13:41
Show Gist options
  • Save KKostya/6bf3bf4e4b028535bf2e6b2602ca9299 to your computer and use it in GitHub Desktop.
Save KKostya/6bf3bf4e4b028535bf2e6b2602ca9299 to your computer and use it in GitHub Desktop.
type incoming_msg =
| Clock of Rosgraph_msgs.clock
| Sensor of Sensor_msgs.laserScan
type outgoing_msg =
| Twist of Geometry_msgs.twist
type direction = CW | CCW
type mode = Driving | Turning
type state =
{ mode : mode
; min_range : int option
; direction : direction option
; incoming : incoming_msg option
; outgoing : outgoing_msg option
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment