def Proof.pop_full

bend-kube-runtime@0.2.0.0 · PROOF.bend:63

import Base
import bend-kube-runtime@0.2.0.0/src/queue.bend as Q

63# With no free slot, pop.go answers None whatever the front holds.
64def Proof.pop_full(f: List<&2, String>, b: List<&2, String>, inq: Map<&2, U32>,
65  run: Map<&2, U32>, d: Map<&2, U32>, g: Map<&2, U32>, fl: Map<&2, U32>, n: U32, mx: U32) ->
66  {Q.Queue.pop.go(f, b, inq, run, d, g, fl, n, mx, False{})
67    == (Q.Queue{f, b, inq, run, d, g, fl, n, mx}, None{}) : Q.Queue & Maybe<&2, String>}:
68  match f:
69    case Nil{}:
70      {==}
71    case Con{h, t}:
72      {==}