blob: 0e77deeed3d3bca1c9ea64acaa50ba757d9ab12f (
plain)
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
|
(module
(type ${ref|...0|} (struct (field (ref ${ref|...0|}))))
(type ${ref|...0|_ref|...0|} (struct_subtype (field (ref ${ref|...0|_ref|...0|})) (field (ref ${ref|...0|_ref|...0|})) ${ref|...0|}))
(type $[i32] (array i32))
(type ${ref|any|} (struct (field (ref any))))
(type ${ref|i31|} (struct_subtype (field (ref i31)) ${ref|any|}))
(type $ref|[i32]|_ref?|[i32]|_=>_none (func (param (ref $[i32]) (ref null $[i32]))))
(type $[ref|any|] (array (ref any)))
(type $[ref|i31|] (array_subtype (ref i31) $[ref|any|]))
(type $ref|[ref|i31|]|_ref|[ref|any|]|_=>_none (func (param (ref $[ref|i31|]) (ref $[ref|any|]))))
(type $ref|{ref|i31|}|_ref|{ref|any|}|_=>_none (func (param (ref ${ref|i31|}) (ref ${ref|any|}))))
(type ${ref|i31|_ref|any|} (struct_subtype (field (ref i31)) (field (ref any)) ${ref|i31|}))
(type $ref|{ref|i31|}|_ref|{ref|i31|_ref|any|}|_=>_none (func (param (ref ${ref|i31|}) (ref ${ref|i31|_ref|any|}))))
(type $ref|{ref|...0|}|_ref|{ref|...0|_ref|...0|}|_=>_none (func (param (ref ${ref|...0|}) (ref ${ref|...0|_ref|...0|}))))
(func $0 (type $ref|[i32]|_ref?|[i32]|_=>_none) (param $0 (ref $[i32])) (param $1 (ref null $[i32]))
(local.set $1
(local.get $0)
)
)
(func $1 (type $ref|[ref|i31|]|_ref|[ref|any|]|_=>_none) (param $0 (ref $[ref|i31|])) (param $1 (ref $[ref|any|]))
(local.set $1
(local.get $0)
)
)
(func $2 (type $ref|{ref|i31|}|_ref|{ref|any|}|_=>_none) (param $0 (ref ${ref|i31|})) (param $1 (ref ${ref|any|}))
(local.set $1
(local.get $0)
)
)
(func $3 (type $ref|{ref|i31|}|_ref|{ref|i31|_ref|any|}|_=>_none) (param $0 (ref ${ref|i31|})) (param $1 (ref ${ref|i31|_ref|any|}))
(local.set $0
(local.get $1)
)
)
(func $4 (type $ref|{ref|...0|}|_ref|{ref|...0|_ref|...0|}|_=>_none) (param $0 (ref ${ref|...0|})) (param $1 (ref ${ref|...0|_ref|...0|}))
(local.set $0
(local.get $1)
)
)
)
|
