Source position: pxlib.pp line 380
var PX_timestamp2string: function(
pxdoc: Ppxdoc_t;
value: Double;
format: Pcchar
):Pcchar;