def go_app

bendtorch@1.3.0.0 · PROOF.bend:336

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

336def go_app(a: List<&1, T.FS>, -b: List<&1, T.FS>, -c: List<&1, T.FS>) -> GAR<a, b, c>:
337  match a:
338    case Nil{}:
339      GAR{Nil{}, {==}, {==}}
340    case Con{x, t}:
341      ga_con(x, t, b, c, go_app(t, x <> b, c))