Common use of (t) Clause in Contracts

(t). newSetWithValues(size t, TVP*) • newSeqWithValues(size t, TVP*) • etc. • TVP newCollection(size t, vdmtype) • TVP newCollectionWithValues(size t, vdmtype, TVP*)