tcp_time_plus(?Timeval1, ?DeltaTime, ?Timeval2)

This predicate is true when the interval between Timeval1 and Timeval2 is DeltaTime. DeltaTime is a floating point number representing seconds. Both Timeval1 and Timeval2 are timeval/2 structures.

At least two of the arguments to tcp_time_plus/3 must be ground.