IntrusiveList.remove_left: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveList
Lines 57-62 of bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend&start_line=57&end_line=62

import Base

def remove_left(~S: Type, ~N: Data, ~I: Data, ~set_next: S -> N -> Maybe<&2, N> -> S, ~set_prev: S -> N -> Maybe<&2, N> -> S, ~set_head: S -> I -> Maybe<&2, N> -> S, s: S, +i: I, +node: N, +before: Maybe<&2, N>, +after: Maybe<&2, N>) -> S:
  match before:
    case None{}:
      set_next(set_head(s, i, after), node, None{})
    case Some{+p}:
      set_next(set_prev(set_next(s, p, after), node, None{}), node, None{})

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe