def bleaf_full

bendtorch@1.3.0.0 · main.bend:3055

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3055def bleaf_full(xs: List<&1, BG>, +kv: Nat, +dm: Dm, acc: List<&1, DB>) -> List<&1, DB>:
3056  match xs:
3057    case Nil{}:
3058      List.reverse(&1, DB, acc)
3059    case Con{x, rest}:
3060      bleaf_full(rest, kv, dm, db_of(bgroups_full(kv, 0n, dm, x)) <> acc)

Uses (8)

Used by (8)