def bonded12_flat

bend-prot@0.1.0.0 · bonded.bend:135

import Base

135def bonded12_flat(bs: List<&2, U32>, +a: U32, +b: U32) -> Bool:
136  match bs:
137    case Nil{}:
138      False{}
139    case x <> Nil{}:
140      False{}
141    case x <> y <> t:
142      Bool.or(bond_match(a, b, x, y), bonded12_flat(t, a, b))