def flights.none

bend-kit-runner@0.13.0.1 · runner.bend:1431

import Base

1431# The flights back, and whether none runs.
1432def flights.none(-A: Data, fs: List<&1, Flight<A>>) -> List<&1, Flight<A>> & Bool:
1433  match fs:
1434    case Nil{}:
1435      (Nil{}, True{})
1436    case Con{f, rest}:
1437      (Con{f, rest}, False{})