~/jendhub

def b_go_app

bendtorch@1.3.0.0 · PROOF.bend:611

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

611def b_go_app(a: List<&1, T.BG>, -b: List<&1, T.BG>, -c: List<&1, T.BG>) -> b_GAR<a, b, c>:
612  match a:
613    case Nil{}:
614      b_GAR{Nil{}, {==}, {==}}
615    case Con{x, t}:
616      b_ga_con(x, t, b, c, b_go_app(t, x <> b, c))

Uses (4)

Used by (1)