{

"types": {

"Global": [

{ "name": "double", "mode": "SCALAR" },

{ "name": "uint64_t", "mode": "SCALAR" }

]

},

"inputs": [

{

"name": "GetCurrentTime",

"description": "Supplies the system time to Date.now() and new Date().",

"queue": "SCRIPT_MEMOIZED",

"members": [

{ "name": "currentTime", "type": "double" }

]

},

{

"name": "SetRandomSeed",

"description": "Sets the PRNG seed used by Math.random().",

"queue": "SCRIPT_MEMOIZED",

"members": [

{ "name": "randomSeed", "type": "uint64_t" }

]

}

]

}