Module Migrate_504_503.Bivariant_paramSource

Sourceval list_map : f:('a -> bool * 'b) -> 'a list -> bool * 'b list