def empty.list

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

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import 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{}

Uses (3)

Used by (1)