PactLanguage ReferenceProperty and Invariant FunctionsTemporal Operators 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.