Package::linked_table bytecode | tide- Move path
- 0x268b…288c::linked_table
- Functions
- 2121 public, 0 entry
- Structs
- 2
- Friend modules
- None
linked_table
The on-chain disassembly. Offsets are bytecode positions within each function.
1// Move bytecode v6
2module 268b081a7a32ca294ac0207bf4ed2685ab2cf1505cd275c19bc52b5d7c53288c.linked_table {
3use 0000000000000000000000000000000000000000000000000000000000000001::option;
4use 0000000000000000000000000000000000000000000000000000000000000002::dynamic_field;
5use 0000000000000000000000000000000000000000000000000000000000000002::object;
6use 0000000000000000000000000000000000000000000000000000000000000002::tx_context;
7
8struct LinkedTable<Ty0: copy + drop + store, phantom Ty1: store> has store, key {
9 id: UID,
10 head: Option<Ty0>,
11 tail: Option<Ty0>,
12 size: u64
13}
14
15
struct Node<Ty0: copy + drop + store, Ty1: store> has store {
21public contains<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>, Arg1: Ty0): bool {
230MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
241ImmBorrowFieldGeneric[0](LinkedTable.id: UID)
263Call dynamic_field::exists_with_type<Ty0, Node<Ty0, Ty1>>(&UID, Ty0): bool
30public borrow<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>, Arg1: Ty0): &Ty1 {
320MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
331ImmBorrowFieldGeneric[0](LinkedTable.id: UID)
353Call dynamic_field::borrow<Ty0, Node<Ty0, Ty1>>(&UID, Ty0): &Node<Ty0, Ty1>
364ImmBorrowFieldGeneric[1](Node.value: Ty1)
40public borrow_mut<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0): &mut Ty1 {
420MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
431MutBorrowFieldGeneric[0](LinkedTable.id: UID)
453Call dynamic_field::borrow_mut<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0): &mut Node<Ty0, Ty1>
464MutBorrowFieldGeneric[1](Node.value: Ty1)
50public destroy_empty<Ty0: copy + drop + store, Ty1: drop + store>(Arg0: LinkedTable<Ty0, Ty1>) {
540MoveLoc[0](Arg0: LinkedTable<Ty0, Ty1>)
551UnpackGeneric[0](LinkedTable<Ty0, Ty1>)
7013MoveLoc[1](loc0: UID)
7114Call object::delete(UID)
75public length<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>): u64 {
770MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
781ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
83public push_back<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0, Arg2: Ty1) {
84L3: loc0: Node<Ty0, Ty1>
860CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
871ImmBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
893Call option::none<Ty0>(): Option<Ty0>
915PackGeneric[1](Node<Ty0, Ty1>)
926StLoc[3](loc0: Node<Ty0, Ty1>)
937CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
948MutBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
9610Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
9812CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
9913ImmBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
10014Call option::is_none<Ty0>(&Option<Ty0>): bool
10316CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
10417MutBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
10518CopyLoc[1](Arg1: Ty0)
10619Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
10921ImmBorrowLoc[3](loc0: Node<Ty0, Ty1>)
11022ImmBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
11123Call option::is_some<Ty0>(&Option<Ty0>): bool
11425CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
11526ImmBorrowLoc[3](loc0: Node<Ty0, Ty1>)
11627ImmBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
11728Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
11930Call borrow_mut_node<Ty0, Ty1>(&mut LinkedTable<Ty0, Ty1>, Ty0): &mut Node<Ty0, Ty1>
12031MutBorrowFieldGeneric[6](Node.next: Option<Ty0>)
12132CopyLoc[1](Arg1: Ty0)
12233Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
12535CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
12636MutBorrowFieldGeneric[0](LinkedTable.id: UID)
12737MoveLoc[1](Arg1: Ty0)
12838MoveLoc[3](loc0: Node<Ty0, Ty1>)
12939Call dynamic_field::add<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0, Node<Ty0, Ty1>)
13040CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
13141ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
13545MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
13646MutBorrowFieldGeneric[2](LinkedTable.size: u64)
141public remove<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0): Ty1 {
1480CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
1491MutBorrowFieldGeneric[0](LinkedTable.id: UID)
1502CopyLoc[1](Arg1: Ty0)
1513Call dynamic_field::remove<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0): Node<Ty0, Ty1>
1524UnpackGeneric[1](Node<Ty0, Ty1>)
1546StLoc[3](loc1: Option<Ty0>)
1557StLoc[2](loc0: Option<Ty0>)
1568MoveLoc[3](loc1: Option<Ty0>)
1579StLoc[5](loc3: Option<Ty0>)
15810MoveLoc[2](loc0: Option<Ty0>)
15911StLoc[6](loc4: Option<Ty0>)
16012CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
16113ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
16517CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
16618MutBorrowFieldGeneric[2](LinkedTable.size: u64)
16820ImmBorrowLoc[6](loc4: Option<Ty0>)
16921Call option::is_some<Ty0>(&Option<Ty0>): bool
17223CopyLoc[5](loc3: Option<Ty0>)
17324CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
17425MutBorrowFieldGeneric[0](LinkedTable.id: UID)
17526ImmBorrowLoc[6](loc4: Option<Ty0>)
17627Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
17829Call dynamic_field::borrow_mut<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0): &mut Node<Ty0, Ty1>
17930MutBorrowFieldGeneric[6](Node.next: Option<Ty0>)
18232ImmBorrowLoc[5](loc3: Option<Ty0>)
18333Call option::is_some<Ty0>(&Option<Ty0>): bool
18635CopyLoc[6](loc4: Option<Ty0>)
18736CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
18837MutBorrowFieldGeneric[0](LinkedTable.id: UID)
18938ImmBorrowLoc[5](loc3: Option<Ty0>)
19039Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
19241Call dynamic_field::borrow_mut<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0): &mut Node<Ty0, Ty1>
19342MutBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
19644CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
19745ImmBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
19846Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
19947ImmBorrowLoc[1](Arg1: Ty0)
20350MoveLoc[5](loc3: Option<Ty0>)
20451CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
20552MutBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
20854CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
20955ImmBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
21056Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
21157ImmBorrowLoc[1](Arg1: Ty0)
21560MoveLoc[6](loc4: Option<Ty0>)
21661MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
21762MutBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
22165MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
22467MoveLoc[4](loc2: Ty1)
228public new<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut TxContext): LinkedTable<Ty0, Ty1> {
2300MoveLoc[0](Arg0: &mut TxContext)
2311Call object::new(&mut TxContext): UID
2322Call option::none<Ty0>(): Option<Ty0>
2333Call option::none<Ty0>(): Option<Ty0>
2355PackGeneric[0](LinkedTable<Ty0, Ty1>)
239public borrow_mut_node<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0): &mut Node<Ty0, Ty1> {
2410MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
2421MutBorrowFieldGeneric[0](LinkedTable.id: UID)
2432MoveLoc[1](Arg1: Ty0)
2443Call dynamic_field::borrow_mut<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0): &mut Node<Ty0, Ty1>
248public borrow_mut_value<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut Node<Ty0, Ty1>): &mut Ty1 {
2500MoveLoc[0](Arg0: &mut Node<Ty0, Ty1>)
2511MutBorrowFieldGeneric[1](Node.value: Ty1)
255public borrow_node<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>, Arg1: Ty0): &Node<Ty0, Ty1> {
2570MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
2581ImmBorrowFieldGeneric[0](LinkedTable.id: UID)
2592MoveLoc[1](Arg1: Ty0)
2603Call dynamic_field::borrow<Ty0, Node<Ty0, Ty1>>(&UID, Ty0): &Node<Ty0, Ty1>
264public borrow_value<Ty0: copy + drop + store, Ty1: store>(Arg0: &Node<Ty0, Ty1>): &Ty1 {
2660MoveLoc[0](Arg0: &Node<Ty0, Ty1>)
2671ImmBorrowFieldGeneric[1](Node.value: Ty1)
271public drop<Ty0: copy + drop + store, Ty1: store>(Arg0: LinkedTable<Ty0, Ty1>) {
2730MoveLoc[0](Arg0: LinkedTable<Ty0, Ty1>)
2741UnpackGeneric[0](LinkedTable<Ty0, Ty1>)
2785Call object::delete(UID)
282public head<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>): Option<Ty0> {
2840MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
2851ImmBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
290public insert_after<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0, Arg2: Ty0, Arg3: Ty1) {
291L4: loc0: &mut Node<Ty0, Ty1>
292L5: loc1: Node<Ty0, Ty1>
2940CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
2951CopyLoc[1](Arg1: Ty0)
2962Call borrow_mut_node<Ty0, Ty1>(&mut LinkedTable<Ty0, Ty1>, Ty0): &mut Node<Ty0, Ty1>
2973StLoc[4](loc0: &mut Node<Ty0, Ty1>)
2984MoveLoc[1](Arg1: Ty0)
2995Call option::some<Ty0>(Ty0): Option<Ty0>
3006CopyLoc[4](loc0: &mut Node<Ty0, Ty1>)
3017ImmBorrowFieldGeneric[6](Node.next: Option<Ty0>)
3039MoveLoc[3](Arg3: Ty1)
30410PackGeneric[1](Node<Ty0, Ty1>)
30511StLoc[5](loc1: Node<Ty0, Ty1>)
30612MoveLoc[4](loc0: &mut Node<Ty0, Ty1>)
30713MutBorrowFieldGeneric[6](Node.next: Option<Ty0>)
30814CopyLoc[2](Arg2: Ty0)
30915Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
31117ImmBorrowLoc[5](loc1: Node<Ty0, Ty1>)
31218ImmBorrowFieldGeneric[6](Node.next: Option<Ty0>)
31319Call option::is_some<Ty0>(&Option<Ty0>): bool
31621CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
31722ImmBorrowLoc[5](loc1: Node<Ty0, Ty1>)
31823ImmBorrowFieldGeneric[6](Node.next: Option<Ty0>)
31924Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
32126Call borrow_mut_node<Ty0, Ty1>(&mut LinkedTable<Ty0, Ty1>, Ty0): &mut Node<Ty0, Ty1>
32227MutBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
32328CopyLoc[2](Arg2: Ty0)
32429Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
32832CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
32933MutBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
33034CopyLoc[2](Arg2: Ty0)
33135Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
33437CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
33538MutBorrowFieldGeneric[0](LinkedTable.id: UID)
33639MoveLoc[2](Arg2: Ty0)
33740MoveLoc[5](loc1: Node<Ty0, Ty1>)
33841Call dynamic_field::add<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0, Node<Ty0, Ty1>)
33942CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
34043ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
34447MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
34548MutBorrowFieldGeneric[2](LinkedTable.size: u64)
350public insert_before<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0, Arg2: Ty0, Arg3: Ty1) {
351L4: loc0: &mut Node<Ty0, Ty1>
352L5: loc1: Node<Ty0, Ty1>
3540CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
3551CopyLoc[1](Arg1: Ty0)
3562Call borrow_mut_node<Ty0, Ty1>(&mut LinkedTable<Ty0, Ty1>, Ty0): &mut Node<Ty0, Ty1>
3573StLoc[4](loc0: &mut Node<Ty0, Ty1>)
3584CopyLoc[4](loc0: &mut Node<Ty0, Ty1>)
3595ImmBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
3617MoveLoc[1](Arg1: Ty0)
3628Call option::some<Ty0>(Ty0): Option<Ty0>
3639MoveLoc[3](Arg3: Ty1)
36410PackGeneric[1](Node<Ty0, Ty1>)
36511StLoc[5](loc1: Node<Ty0, Ty1>)
36612MoveLoc[4](loc0: &mut Node<Ty0, Ty1>)
36713MutBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
36814CopyLoc[2](Arg2: Ty0)
36915Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
37117ImmBorrowLoc[5](loc1: Node<Ty0, Ty1>)
37218ImmBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
37319Call option::is_some<Ty0>(&Option<Ty0>): bool
37621CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
37722ImmBorrowLoc[5](loc1: Node<Ty0, Ty1>)
37823ImmBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
37924Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
38126Call borrow_mut_node<Ty0, Ty1>(&mut LinkedTable<Ty0, Ty1>, Ty0): &mut Node<Ty0, Ty1>
38227MutBorrowFieldGeneric[6](Node.next: Option<Ty0>)
38328CopyLoc[2](Arg2: Ty0)
38429Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
38832CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
38933MutBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
39034CopyLoc[2](Arg2: Ty0)
39135Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
39437CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
39538MutBorrowFieldGeneric[0](LinkedTable.id: UID)
39639MoveLoc[2](Arg2: Ty0)
39740MoveLoc[5](loc1: Node<Ty0, Ty1>)
39841Call dynamic_field::add<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0, Node<Ty0, Ty1>)
39942CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
40043ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
40447MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
40548MutBorrowFieldGeneric[2](LinkedTable.size: u64)
410public is_empty<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>): bool {
4120MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
4131ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
420public next<Ty0: copy + drop + store, Ty1: store>(Arg0: &Node<Ty0, Ty1>): Option<Ty0> {
4220MoveLoc[0](Arg0: &Node<Ty0, Ty1>)
4231ImmBorrowFieldGeneric[6](Node.next: Option<Ty0>)
428public prev<Ty0: copy + drop + store, Ty1: store>(Arg0: &Node<Ty0, Ty1>): Option<Ty0> {
4300MoveLoc[0](Arg0: &Node<Ty0, Ty1>)
4311ImmBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
436public push_front<Ty0: copy + drop + store, Ty1: store>(Arg0: &mut LinkedTable<Ty0, Ty1>, Arg1: Ty0, Arg2: Ty1) {
437L3: loc0: Node<Ty0, Ty1>
4390Call option::none<Ty0>(): Option<Ty0>
4401CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
4412ImmBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
4434MoveLoc[2](Arg2: Ty1)
4445PackGeneric[1](Node<Ty0, Ty1>)
4456StLoc[3](loc0: Node<Ty0, Ty1>)
4467CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
4478MutBorrowFieldGeneric[4](LinkedTable.head: Option<Ty0>)
4489CopyLoc[1](Arg1: Ty0)
44910Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
45112CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
45213ImmBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
45314Call option::is_none<Ty0>(&Option<Ty0>): bool
45616CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
45717MutBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
45818CopyLoc[1](Arg1: Ty0)
45919Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
46221ImmBorrowLoc[3](loc0: Node<Ty0, Ty1>)
46322ImmBorrowFieldGeneric[6](Node.next: Option<Ty0>)
46423Call option::is_some<Ty0>(&Option<Ty0>): bool
46725CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
46826ImmBorrowLoc[3](loc0: Node<Ty0, Ty1>)
46927ImmBorrowFieldGeneric[6](Node.next: Option<Ty0>)
47028Call option::borrow<Ty0>(&Option<Ty0>): &Ty0
47230Call borrow_mut_node<Ty0, Ty1>(&mut LinkedTable<Ty0, Ty1>, Ty0): &mut Node<Ty0, Ty1>
47331MutBorrowFieldGeneric[5](Node.prev: Option<Ty0>)
47432CopyLoc[1](Arg1: Ty0)
47533Call option::swap_or_fill<Ty0>(&mut Option<Ty0>, Ty0): Option<Ty0>
47835CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
47936MutBorrowFieldGeneric[0](LinkedTable.id: UID)
48037MoveLoc[1](Arg1: Ty0)
48138MoveLoc[3](loc0: Node<Ty0, Ty1>)
48239Call dynamic_field::add<Ty0, Node<Ty0, Ty1>>(&mut UID, Ty0, Node<Ty0, Ty1>)
48340CopyLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
48441ImmBorrowFieldGeneric[2](LinkedTable.size: u64)
48845MoveLoc[0](Arg0: &mut LinkedTable<Ty0, Ty1>)
48946MutBorrowFieldGeneric[2](LinkedTable.size: u64)
494public tail<Ty0: copy + drop + store, Ty1: store>(Arg0: &LinkedTable<Ty0, Ty1>): Option<Ty0> {
4960MoveLoc[0](Arg0: &LinkedTable<Ty0, Ty1>)
4971ImmBorrowFieldGeneric[3](LinkedTable.tail: Option<Ty0>)
