DoublyLinkedList.get_result: def of bend-collections@1.0.0.0 Import: import bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend as DoublyLinkedList Lines 275-279 of bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend&start_line=275&end_line=279 import Base import bend-collections@1.0.0.0/src/containers/internal/dlist_storage.bend as R import bend-collections@1.0.0.0/src/containers/types/internal_dlist.bend as I import bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend as E # Direct public read path. Keep generation validation, but avoid allocating an # Op/Obs envelope and executing the general trace dispatcher for one get. def get_result(~T: Data, tag: U32, depth: Nat, cap: U32, gens: Array, r: R.DList & Result<&2, &2, I.Error, T>) -> DList & Result<&2, &2, E.Error, T>: (raw, result) = r (DL{tag, depth, cap, raw, gens}, item_result(~T, result)) Uses (11): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend&name=DList https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend&name=item_result https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/internal/dlist_storage.bend&name=DList https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend&name=Error https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/types/internal_dlist.bend&name=Error