module
CRDT
.
Timestamp
(
Timestamp
)
where
import
Numeric
.
Natural
(
Natural
)
type
Timestamp
=
Natural