SecretTimestamp typedef

Implementation

typedef SecretTimestamp = num;