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.