Module Migrate_504_503.Bivariant_param

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