Base · base.bend:2677
import Base
2677def Map.bit(key: String, pos: Nat) -> String & Bool: 2678 Map.bit.at(key, Nat.divmod(pos, 33n))