Jeremy Stucki b651f19eb8

Rename 'flat_map' → 'flat_map_identity'

2019-08-11 20:34:25 +02:00

..

lint.rs

make it pass dogfood

2019-06-12 12:29:37 -07:00

mod.rs

Rename 'flat_map' → 'flat_map_identity'

2019-08-11 20:34:25 +02:00