function toOtherZonedTimeimport { toOtherZonedTime } from "https://dotland.deno.dev/x/ptera@v1.0.2/zoned_time.ts"; toOtherZonedTime(date: DateObj,baseTZ: Timezone,compareTZ: Timezone,): DateObjParametersdate: DateObjbaseTZ: TimezonecompareTZ: TimezoneReturnsDateObj