~/jendhub

def relative_done

bend-collections@1.0.0.0 · src/containers/doubly_linked_list.bend:104

import bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend as DoublyLinkedList
import Base
import bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend as E

104def relative_done(~T: Data, r: DList<T> & E.Handle) -> DList<T> & E.Obs<T>:
105  (s, h) = r
106  (s, E.OInsert{Done{h}})

Uses (6)

Used by (1)