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
60
61
62
63
64
65
66
67
68
69
70
{
"worlds": [],
"interfaces": [
{
"name": "resources-empty",
"types": {
"r1": 0
},
"functions": {
"t1": {
"name": "t1",
"kind": "freestanding",
"params": [
{
"name": "a",
"type": 2
}
]
},
"t2": {
"name": "t2",
"kind": "freestanding",
"params": [
{
"name": "a",
"type": 1
}
]
}
},
"package": 0
}
],
"types": [
{
"name": "r1",
"kind": "resource",
"owner": {
"interface": 0
}
},
{
"name": null,
"kind": {
"handle": {
"borrow": 0
}
},
"owner": null
},
{
"name": null,
"kind": {
"handle": {
"own": 0
}
},
"owner": null
}
],
"packages": [
{
"name": "foo:resources-empty",
"interfaces": {
"resources-empty": 0
},
"worlds": {}
}
]
}