def has_rest

cli@0.2.0.0 · cli.bend:1581

import cli@0.2.0.0/cli.bend as Cli

import Base

1581def has_rest(items: List<&2, Item>) -> Bool:
1582  match items:
1583    case Nil{}: False{}
1584    case Rest{} <> tail: True{}
1585    case head <> tail: has_rest(tail)

Uses (3)

Used by (4)