def ops.same

bend-kit-regex@0.8.0.0 · regex.bend:1656

import bend-kit-regex@0.8.0.0/regex.bend as Regex

import Base

1656def ops.same(xs: List<&2, Op>, ths: List<&2, Th>, +i: U32) -> Bool:
1657  match xs ths:
1658    case Nil{} Nil{}:
1659      True{}
1660    case Con{Op{+src, +pc, saves}, t} Con{Th{+old, caps}, rest}:
1661      op.same(saves, src, pc, i, old) && ops.same(t, rest, (i + 1 : U32))
1662    case _ _:
1663      False{}

Uses (8)

Used by (1)

bend-kit-regex@0.8.0.0/regex:rq.store