Fold.chosen: def of bendtorch-core@0.1.0.0 Import: import bendtorch-core@0.1.0.0/src/tensor/contracts/fold.bend as Fold Lines 13-18 of bendtorch-core@0.1.0.0/src/tensor/contracts/fold.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/contracts/fold.bend&start_line=13&end_line=18 import Base def chosen(~O: Data, ~g: O -> F32 -> F32 -> F32, +operation: O, kept: Bool, accumulator: F32, word: F32) -> F32: match kept: case False{}: accumulator case True{}: g(operation, accumulator, word) Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32