TIDC-CC3200-VIDEO: Problem finding reference info on CC3200-MODULE needed in the design

Hi, my team is trying to develop the TIDC-CC3200-VIDEO design. We are following the user guide which is linked below. However, we are confused about what the CC3200MOD is, and we cannot really find much reference documentation online. The product link does not have the red semicircle PCB included with it on the TI website under this link: http://www.ti.com/product/CC3200MOD/toolssoftware. We are following the guide “SimpleLink CC3200-OV788 Video and Audio Streaming Over Wi-Fi Reference Design”, and on pages 3, 4, 12 and 13, the guide mentioned the CC3200-MODULE board. 

• http://www.ti.com/lit/ug/tiduck9/tiduck9.pdf

However, this item is not listed in the prerequisites for this design. 

We currently have the following hardware parts and the link of where we get them:

• TI CC3200-LAUNCHXL (https://www.ti.com/store/ti/en/p/product/?p=CC3200-LAUNCHXL

• BOOSTXL-OV788 (https://www.ti.com/store/ti/en/p/product/?p=BOOSTXL-OV788ADAPT

• OV9712 (https://www.amazon.com/Webcam-Camera-Support-Compliant-Cameras/dp/B07PRXCGY1/ref=sr_1_7?keywords=ov9712&qid=1571021593&sr=8-7)

We tried to search online for instructions or tutorials on the CC3200-MODULE, but we did not find any reasonable results specifically the one with the red semicircle PCB listed in the user guide. Can you please let us know what this part is and why do we need it for the project? Thank you very much!