def b_ffmap

bendtorch@1.3.0.0 · PROOF.bend:712

import Base
import bendtorch@1.3.0.0/main.bend as T

712def b_ffmap(+h: Nat, +dm: T.Dm, xs: List<&1, T.BG>) -> List<&1, T.DB>:
713  match xs:
714    case Nil{}:
715      Nil{}
716    case Con{x, t}:
717      T.db_of(T.bgroups_full(h, 0n, dm, x)) <> b_ffmap(h, dm, t)