1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
{
"worlds": [],
"interfaces": [
{
"name": "error-contexts",
"types": {
"t1": 0
},
"functions": {
"foo": {
"name": "foo",
"kind": "freestanding",
"params": [
{
"name": "x",
"type": "error-context"
},
{
"name": "y",
"type": 0
}
],
"result": 1
}
},
"package": 0
}
],
"types": [
{
"name": "t1",
"kind": {
"type": "error-context"
},
"owner": {
"interface": 0
}
},
{
"name": null,
"kind": {
"result": {
"ok": null,
"err": "error-context"
}
},
"owner": null
}
],
"packages": [
{
"name": "foo:error-contexts",
"interfaces": {
"error-contexts": 0
},
"worlds": {}
}
]
}