def Map.bit.go.rec
import Base2658def Map.bit.go.rec(c: Char, r: String & Bool) -> String & Bool:
2659 (t2, b) = r
2660 (SCon{c, t2}, b)
Uses (5)
Used by (13)
- Map.bit.go
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/map_bridge:bit_go_preserves_key
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/map_bridge:recursive_bit_key
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/map_index:bit_at_next
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/native_map:bit_go_preserves_key
- …