The purpose is to provide powerful combinators to express iteration, transformation and combination of collections of items living in the type 'a t. Inspired from https://en.wikipedia.org/wiki/Language_Integrated_Query .
documentation (start with module OLinq):
Permissive BSD license (see file license).
This comes from containers, where it was called CCLinq. A separate package makes more sense, as it is fairly specialized, and does not depend on containers anyway.