~/jendhub

def AaIt.after_close

bend-osdev-apparmor@0.1.0.0 · parse.bend:148

import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
import Base

148def AaIt.after_close(xs: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
149  match xs:
150    case Nil{}:
151      None{}
152    case Con{+h, +t}:
153      Bool.pick(Maybe<&2, List<&2, U32>>, U32.is_eq(h, 125), Some{t}, AaIt.after_close(t))

Uses (5)

Used by (1)