~/jendhub

def Map.bit.at

Base · base.bend:2673

import Base
2673def Map.bit.at(key: String, co: Nat & Nat) -> String & Bool:
2674  (ci, off) = co
2675  Map.bit.go(key, ci, off)

Uses (6)

Used by (11)