def tr.join_go

bend-osdev-mode-core@0.1.0.0 · PROOF.bend:606

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

606def tr.join_go(xs: List<&2, M.CmBlock>, rs: List<&2, M.CmBlock>, +rest: List<&2, U32>) -> {M.cm.join.go(M.cm.blocks.rev_onto(xs, rs), rest) == M.cm.join.go(rs, M.cm.join_onto(xs, rest)) : List<&2, U32>}:
607  match xs:
608    case Nil{}:
609      {==}
610    case Con{x, t}:
611      tr.join_go(t, Con{x, rs}, rest)