def b_map_app

bendtorch@1.3.0.0 · PROOF.bend:594

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

594def b_map_app(a: List<&1, T.BG>, +h: Nat, +dm: T.Dm, -b: List<&1, T.BG>) -> b_MAR<h, dm, a, b>:
595  match a:
596    case Nil{}:
597      b_MAR{Nil{}, {==}, {==}}
598    case Con{x, t}:
599      b_ma_con(x, t, h, dm, b, b_map_app(t, h, dm, b))