def batch_build

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:1263

import Base

1263def batch_build(fuel: Nat, trees: List<&2, Batch>) -> Maybe<&2, Batch>:
1264    match fuel:
1265        case 0n:
1266            List.head(&2, Batch, trees)
1267        case 1n+p:
1268            match trees:
1269                case Nil{}:
1270                    None{}
1271                case tree <> Nil{}:
1272                    Some{tree}
1273                case left <> right <> tail:
1274                    batch_build(p, batch_pairs(left <> right <> tail))