def bleaf

bendtorch@1.3.0.0 · main.bend:2868

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2868def bleaf(xs: List<&1, BG>, +kv: Nat, +dm: Dm, acc: List<&1, DB>) -> List<&1, DB>:
2869  match xs:
2870    case Nil{}:
2871      List.reverse(&1, DB, acc)
2872    case Con{x, rest}:
2873      bleaf(rest, kv, dm, db_of(bgroups(kv, 0n, dm, x)) <> acc)

Uses (8)

Used by (8)