def gs.two

emerging-ezaudio@0.4.0.0 · src/mp3_dec.bend:824

import Base

824def gs.two(gs: List<&2, Gd>) -> Bool:
825  match gs:
826    case +aa <> +bb <> Nil{}:
827      yn.both(g0.yes(aa), g1.yes(bb))
828    case _:
829      False{}