              //      decode: value =&gt; new Date(), 
                                                    //      encode: value =&gt; value.getTime()
                                                    //   }
                                                    // } 

// Use Value.Decode() and Value.Encode() to run Decode and Encode callbacks.

const D = Value.Decode(Timestamp, 12345)            // const D = 1970-01-01T00:00:12.345Z

const E = Value.Encode(Timestamp, D)                // const E = 12345
</c