src/containers/doubly_linked_list.bend checks

raw source on the hub · import bend-collections-laws-containers@1.0.0.0/src/containers/doubly_linked_list.bend as Doubly_linked_list

4 imports

import Base
import ./internal/dlist_storage.bend as R
import ./types/internal_dlist.bend as I
import ./types/doubly_linked_list.bend as E

Types

type DList source · line 10 · raw

@-T:Data -> Type

Public generational handles over the shared indexed DLL storage. Removed slots are reused. A generation at UINT32_MAX is retired forever instead of wrapping; capacity therefore follows peak live + exhausted slots. Values are released by remove, but the pool keeps capacity for later use.

DL

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @storage:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @generations:Array<U32> -> DList<T>

Definitions

def error source · line 16 · raw

@e:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error -> 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error

def old_handle source · line 23 · raw

@h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Handle

def generation_error source · line 50 · raw

@same:Bool -> Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>

Templates

template new source · line 13 · raw

@-T:Data -> @+tag:U32 -> DList<T>

template inserted_gen source · line 27 · raw

@-T:Data -> @+tag:U32 -> @depth:Nat -> @cap:U32 -> @raw:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @id:U32 -> @r:Pair(Array<U32>, U32) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle)

template inserted_room source · line 31 · raw

@-T:Data -> @+tag:U32 -> @+depth:Nat -> @+cap:U32 -> @raw:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @gens:Array<U32> -> @+id:U32 -> @grow:Bool -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle)

template inserted source · line 38 · raw

@-T:Data -> @+tag:U32 -> @depth:Nat -> @+cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Handle) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle)

template push_front source · line 42 · raw

@-T:Data -> @s:DList<T> -> @x:T -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle)

template push_back source · line 46 · raw

@-T:Data -> @s:DList<T> -> @x:T -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle)

template valid_gen source · line 57 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @raw:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @expected:U32 -> @r:Pair(Array<U32>, U32) -> Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>)

template valid_bounds source · line 61 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @raw:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @gens:Array<U32> -> @id:U32 -> @expected:U32 -> @same:Bool -> @inside:Bool -> Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>)

template validate source · line 70 · raw

@-T:Data -> @s:DList<T> -> @h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>)

template item_result source · line 75 · raw

@-T:Data -> @r:Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, T> -> Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>

template value_result source · line 82 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, T>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template unit_result source · line 86 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, Unit>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template retire source · line 90 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @raw:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @gens:Array<U32> -> @+id:U32 -> @+generation:U32 -> @v:T -> @exhausted:Bool -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template removed source · line 97 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @id:U32 -> @+generation:U32 -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, T>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template relative_done source · line 104 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template relative_result source · line 108 · raw

@-T:Data -> @+tag:U32 -> @depth:Nat -> @+cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Handle>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template neighbour_gen source · line 115 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @raw:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T> -> @owner:U32 -> @id:U32 -> @r:Pair(Array<U32>, U32) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template neighbour_result source · line 119 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Handle>>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template length_result source · line 128 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Nat) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template list_result source · line 132 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, List<&2, T>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template pushed_obs source · line 136 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template dispatch source · line 140 · raw

@-T:Data -> @s:DList<T> -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template op_handle source · line 166 · raw

@-T:Data -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>

template failed source · line 185 · raw

@-T:Data -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> @e:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error -> 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>

template checked source · line 200 · raw

@-T:Data -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template step_handle source · line 207 · raw

@-T:Data -> @s:DList<T> -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> @h:Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle> -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template step source · line 214 · raw

@-T:Data -> @s:DList<T> -> @+op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>)

template project_value source · line 217 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>)

template project_unit source · line 224 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Unit>)

template project_insert source · line 231 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>)

template project_neighbour source · line 238 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>>)

template project_length source · line 245 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, Nat)

template project_list source · line 252 · raw

@-T:Data -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, List<&2, T>)

template length_direct_result source · line 259 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Nat) -> Pair(DList<T>, Nat)

template length source · line 263 · raw

@-T:Data -> @s:DList<T> -> Pair(DList<T>, Nat)

template to_list_direct_result source · line 267 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, List<&2, T>) -> Pair(DList<T>, List<&2, T>)

template to_list source · line 271 · raw

@-T:Data -> @s:DList<T> -> Pair(DList<T>, List<&2, T>)

template get_result source · line 277 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, T>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>)

Direct public read path. Keep generation validation, but avoid allocating an Op/Obs envelope and executing the general trace dispatcher for one get.

template get_ready source · line 281 · raw

@-T:Data -> @h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>)

template get source · line 288 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>)

template remove_ready source · line 291 · raw

@-T:Data -> @h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>)

template remove source · line 298 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, T>)

template set_result source · line 301 · raw

@-T:Data -> @tag:U32 -> @depth:Nat -> @cap:U32 -> @gens:Array<U32> -> @r:Pair(0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/internal/dlist_storage.DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/internal_dlist.Error, Unit>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Unit>)

template set_ready source · line 305 · raw

@-T:Data -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @x:T -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Unit>)

template set source · line 312 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @x:T -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Unit>)

template next_ready source · line 315 · raw

@-T:Data -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>>)

template next source · line 322 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>>)

template prev_ready source · line 325 · raw

@-T:Data -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>>)

template prev source · line 332 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>>)

template insert_before_ready source · line 335 · raw

@-T:Data -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @+x:T -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>)

template insert_before source · line 342 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @x:T -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>)

template insert_after_ready source · line 345 · raw

@-T:Data -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @+x:T -> @r:Pair(DList<T>, Maybe<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error>) -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>)

template insert_after source · line 352 · raw

@-T:Data -> @s:DList<T> -> @+h:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle -> @x:T -> Pair(DList<T>, Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Error, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Handle>)

template record source · line 355 · raw

@-T:Data -> @acc:List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>> -> @r:Pair(DList<T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>) -> Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>)

template step_acc source · line 359 · raw

@-T:Data -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T> -> @st:Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>) -> Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>)

template run_acc source · line 363 · raw

@-T:Data -> @ops:List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T>> -> @st:Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>) -> Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>)

template finish source · line 370 · raw

@-T:Data -> @st:Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>) -> Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>)

template run source · line 374 · raw

@-T:Data -> @ops:List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Op<T>> -> @s:DList<T> -> Pair(DList<T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/doubly_linked_list.Obs<T>>)