Function timestamp

timestamp(a0: Date<0 | 1>): Timestamp<0 | 1>

timestamp(a0: Date<0 | 1>, a1: Time<0 | 1>): Timestamp<0 | 1>

timestamp(
    a0: Timestamp<0 | 1>,
    a1: undefined | number | Int4<0 | 1>,
): Timestamp<0 | 1>

timestamp(a0: Timestamptz<0 | 1>): Timestamp<0 | 1>