PactLanguage ReferenceProperty and Invariant FunctionsTemporal OperatorsLast updated 2023-10-05 Temporal operators add-time pact(add-time t s) pact(add-time t s) takes t: time takes s: a produces time where a is of type integer or decimal Add seconds to a time Supported in either invariants or properties.