package core-and-more

  1. Overview
  2. Docs
module type Sig = sig ... end
val maximally_factor_element : (module Sig with type t = 't) -> is_eq:('t0 -> 't1 -> bool) -> 't2 -> 't2