1{ 2 "types": { 3 "Global": [ 4 { "name": "double", "mode": "SCALAR" }, 5 { "name": "uint64_t", "mode": "SCALAR" } 6 ] 7 }, 8 9 "inputs": [ 10 { 11 "name": "GetCurrentTime", 12 "description": "Supplies the system time to Date.now() and new Date().", 13 "queue": "SCRIPT_MEMOIZED", 14 "members": [ 15 { "name": "currentTime", "type": "double" } 16 ] 17 }, 18 { 19 "name": "SetRandomSeed", 20 "description": "Sets the PRNG seed used by Math.random().", 21 "queue": "SCRIPT_MEMOIZED", 22 "members": [ 23 { "name": "randomSeed", "type": "uint64_t" } 24 ] 25 } 26 ] 27} 28