def tb.srv

bend-osdev-acpi@0.1.1.0 · PROOF_tables.bend:258

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/rsdt.bend as R

258def tb.srv(+xs: List<&2, W.W64>, +acc: List<&2, W.W64>) -> {List.reverse.go(&2, W.W64, xs, acc) == R.sl.rev(xs, acc) : List<&2, W.W64>}:
259  match xs:
260    case Nil{}:
261      {==}
262    case Con{h, t}:
263      tb.srv(t, Con{h, acc})