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            "guard": "ENABLE(DUMMY_FEATURE)",
15            "members": [
16                { "name": "currentTime", "type": "double" }
17            ]
18        },
19        {
20            "name": "SetRandomSeed",
21            "description": "Sets the PRNG seed used by Math.random().",
22            "queue": "SCRIPT_MEMOIZED",
23            "members": [
24                {"name": "randomSeed", "type": "uint64_t" }
25            ]
26        }
27    ]
28}
29