def leaf_values
import cswap-bend-cli@0.1.0.0/fmt/shape.bend as Shapeimport Base
198def leaf_values(ls: List<&2, Leaf>) -> List<&2, String>:
199 match ls:
200 case Nil{}:
201 []
202 case Con{Leaf{k, v}, t}:
203 v <> leaf_values(t)
import cswap-bend-cli@0.1.0.0/fmt/shape.bend as Shapeimport Base
198def leaf_values(ls: List<&2, Leaf>) -> List<&2, String>:
199 match ls:
200 case Nil{}:
201 []
202 case Con{Leaf{k, v}, t}:
203 v <> leaf_values(t)