fact: Definition landshark_paintball : RADL_Node := node using Landshark_Topics { DEFS ["ip_address: string '192.168.15.78'"; "ip_port: uint16 23"] PUBLISHES [landshark_paintball_report] SUBSCRIBES [trigger] PERIOD "global.trigger_period" PATH "src/landshark_paintball" CXX { ["PATH"; "src"; "HEADER"; "LandsharkPaintball.h"; "CLASS"; "LandsharkPaintball"; "FILENAME"; "LandsharkPaintball.cpp"; "LIB"; "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