Ros.Geometry_msgs.Vector3Stamped
Extraction Language Haskell.
Require Import ROSCOQ.shim.Haskell.RoshaskNodeMonad.
Require Import ROSCOQ.shim.Haskell.RoshaskTopic.
Require Import ROSCOQ.shim.Haskell.RoshaskMsg.
Require Import ROSCOQ.shim.Haskell.RoshaskTypes.
Require Import String.
Require Import Ros.Internal.Msg.HeaderSupport.
Require Import Ros.Geometry_msgs.Vector3.
Require Import Ros.Std_msgs.Header.
Record Vector3Stamped := { _header : Header.Header
; _vector : Vector3.Vector3
}.
Extract Inductive Vector3Stamped ⇒ "Ros.Geometry_msgs.Vector3Stamped.Vector3Stamped" [ "Ros.Geometry_msgs.Vector3Stamped.Vector3Stamped" ].
Extract Constant _header ⇒ "Ros.Geometry_msgs.Vector3Stamped._header" .
Extract Constant _vector ⇒ "Ros.Geometry_msgs.Vector3Stamped._vector" .
Axiom subscribe : TopicName → Node (RTopic Vector3Stamped ).
Extract Constant subscribe ⇒ "(Ros.Node.subscribe)".
Axiom publish : TopicName → RTopic Vector3Stamped → Node unit.
Extract Constant publish ⇒ "(Ros.Node.advertise)".
Instance ROSMsgInstance : ROSMsgType Vector3Stamped :=
Build_ROSMsgType _ subscribe publish.