PactLanguage ReferenceProperty and Invariant FunctionsTemporal Operators Temporal operators add-time (add-time t s) (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. Edit this pageprevious:String Operatorsnext:Quantification OperatorsReceive important developer updatesSubscribe