Module overall_safety_task 

task that’s consuming events and asserting safety

Structs

OverallSafetyPropertiesDescription

cross node safety properties

Enums

OverallSafetyTaskErr

possible errors

ViewStatus

the status of a view

Type Aliases

StateAndBlock

convenience type alias for state and block