~/jendhub

def Entries.drop_last

bend-trace-context@0.2.0.0 · trace_context.bend:2451

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

2451# The entries without the rightmost one.
2452def Entries.drop_last(entries: List<&2, StateEntry>) -> List<&2, StateEntry>:
2453  match entries:
2454    case Nil{}:
2455      Nil{}
2456    case Con{entry, +rest}:
2457      Bool.pick(List<&2, StateEntry>, List.is_empty(&2, StateEntry, rest), Nil{},
2458        Con{entry, Entries.drop_last(rest)})

Uses (4)

Used by (1)