cpp/named req/Clock

The requirements describe a bundle consisting of a std, a std, and a function  to get the current. The origin of the clock's is referred to as the clock's epoch.

Requirements
and denote clock types. and are values returned by  where the call returning  happens before the call returning  and both of these calls occur before.