def has_as_f32

cli@0.2.0.0 · cli.bend:2887

import cli@0.2.0.0/cli.bend as Cli
import Base

2887def has_as_f32(items: List<&2, Item>) -> Bool:
2888  match items:
2889    case Nil{}: False{}
2890    case As{TF32{}} <> tail: True{}
2891    case head <> tail: has_as_f32(tail)

Uses (4)

Used by (2)