fact: Definition landshark_turret : RADL_Node := node using Landshark_Topics { DEFS ["ip_address: string '192.168.15.77'"] PUBLISHES [status_pan; status_tilt; landshark_turret_report] SUBSCRIBES [pan; tilt] PERIOD "global.joint_period" PATH "src/landshark_turret" CXX { ["PATH"; "src"; "HEADER"; "LandsharkTurret.h"; "CLASS"; "LandsharkTurret"; "FILENAME"; "LandsharkTurret.cpp"; "LIB"; "dmclnxlib"; "boostlib"]} }.
imports: Coq.Strings.String Coq.Bool.Bool Coq.Lists.List Coq.Program.Program Fiat.ADT Fiat.ADT.ComputationalADT Fiat.ADTNotation Fiat.ADTRefinement Fiat.ADTRefinement.BuildADTRefinements Fiat.Fiat4Monitors.RADL_Topics Fiat.Fiat4Monitors.RADL_Messages Fiat.Fiat4Monitors.RADL_Flags Fiat.Fiat4Monitors.RADL_Nodes Fiat.Fiat4Monitors.LandsharkTopics