def cg_con

bendtorch@1.3.0.0 · PROOF.bend:355

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

355def cg_con(-m: Nat, -x: T.FS, -t: List<&1, T.FS>, -acc: List<&1, T.FS>, r: CGR<m, t, x <> acc>) -> CGR<1n+m, x <> t, acc>:
356  match r:
357    case CGR{hh, same, cat}:
358      CGR{hh, same, cat}