core-and-more

Includes core, and some more useful extensions
IN THIS PACKAGE
module type Sig = sig ... end
val maximally_factor_element : (module Sig with type t = 't) -> is_eq:( 't0 -> 't1 -> bool ) -> 't2 -> 't2