Module failure_detector 

assumes synchrony which means timing Bounds of network and processes are fixed with the timeout variable

Structs

FailureDetector

Perfect Faillure Detector that Assumes Synchrony which means the Timing Bounds of the network and the processes are fixed with the timeout variable

Functions

handle_heartbeat

updates the status of peer after receiving heartBeat to Correct