--
-- timestamp/2
--
create or replace function timestamp(
  timestamp without time zone,
  integer
) returns timestamp as $$
timestamp_scale$$ language plpgsql;


--
-- timestamp/1
--
create or replace function timestamp(
  date
) returns timestamp as $$
date_timestamp$$ language plpgsql;


--
-- timestamp/2
--
create or replace function timestamp(
  date,
  time without time zone
) returns timestamp as $$
datetime_timestamp$$ language plpgsql;


--
-- timestamp/1
--
create or replace function timestamp(
  timestamp with time zone
) returns timestamp as $$
timestamptz_timestamp$$ language plpgsql;