`method toString : js_string t meth`
`method toDateString : js_string t meth`
`method toTimeString : js_string t meth`
`method toLocaleString : js_string t meth`
`method toLocaleDateString : js_string t meth`
`method toLocaleTimeString : js_string t meth`
`method valueOf : number_t meth`
`method getTime : number_t meth`
`method getFullYear : int meth`
`method getUTCFullYear : int meth`
`method getMonth : int meth`
`method getUTCMonth : int meth`
`method getDate : int meth`
`method getUTCDate : int meth`
`method getDay : int meth`
`method getUTCDay : int meth`
`method getHours : int meth`
`method getUTCHours : int meth`
`method getMinutes : int meth`
`method getUTCMinutes : int meth`
`method getSeconds : int meth`
`method getUTCSeconds : int meth`
`method getMilliseconds : int meth`
`method getUTCMilliseconds : int meth`
`method getTimezoneOffset : int meth`
`method setTime : number_t -> number_t meth`
`method setFullYear : int -> number_t meth`
`method setUTCFullYear : int -> number_t meth`
`method setMonth : int -> number_t meth`
`method setUTCMonth : int -> number_t meth`
`method setDate : int -> number_t meth`
`method setUTCDate : int -> number_t meth`
`method setDay : int -> number_t meth`
`method setUTCDay : int -> number_t meth`
`method setHours : int -> number_t meth`
`method setUTCHours : int -> number_t meth`
`method setMinutes : int -> number_t meth`
`method setUTCMinutes : int -> number_t meth`
`method setSeconds : int -> number_t meth`
`method setUTCSeconds : int -> number_t meth`
`method setMilliseconds : int -> number_t meth`
`method setUTCMilliseconds : int -> number_t meth`
`method toUTCString : js_string t meth`
`method toISOString : js_string t meth`
`method toJSON : 'a -> js_string t meth`