def at

cswap-bend-cli@0.1.0.0 · clock.bend:102

import Base

102# True when the char at `i` is `a` or `b`.
103def at(+s: String, i: Nat, a: Char, b: Char) -> Bool:
104  at.pick(String.get(s, i), a, b)