def empty.list
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
import bend-kit-scheduler@0.4.1.0/queue.bend as Q
1415def empty.list(-A: Data, xs: List<&2, Q.Ticket<A>>) -> Bool:
1416 match xs:
1417 case Nil{}:
1418 True{}
1419 case Con{t, rest}:
1420 False{}