format_time


Description:

public abstract string format_time ()

Creates a representation of the timestamp with just the time part with time zone.