~/jendhub

def route_bit

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/map_insert.bend:13

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_insert.bend as MapInsert
import Base

13def route_bit(r: String & Bool) -> Bool:
14  (key, bit) = r
15  bit

Uses (4)

Used by (9)