def has_as_f32
import cli@0.2.0.0/cli.bend as Cliimport 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)
import cli@0.2.0.0/cli.bend as Cliimport 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)