NOTE: the latest version is 2.1.1
Main frontend app.
Flags needed for the frontend.
The message type for the frontend.
The frontend model.
Ports needed for the frontend.
A convenient type for a frontend Program.
Program
Main frontend app.