def map_appf

bendtorch@1.3.0.0 · PROOF.bend:471

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

471def map_appf(a: List<&1, T.FS>, +h: Nat, +dm: T.Dm, -b: List<&1, T.FS>) -> MARF<h, dm, a, b>:
472  match a:
473    case Nil{}:
474      MARF{Nil{}, {==}, {==}}
475    case Con{x, t}:
476      ma_conf(x, t, h, dm, b, map_appf(t, h, dm, b))