def b_map_appf

bendtorch@1.3.0.0 · PROOF.bend:746

import bendtorch@1.3.0.0/PROOF.bend as PROOF

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

746def b_map_appf(a: List<&1, T.BG>, +h: Nat, +dm: T.Dm, -b: List<&1, T.BG>) -> b_MARF<h, dm, a, b>:
747  match a:
748    case Nil{}:
749      b_MARF{Nil{}, {==}, {==}}
750    case Con{x, t}:
751      b_ma_conf(x, t, h, dm, b, b_map_appf(t, h, dm, b))

Uses (6)

Used by (2)