Functor Util.Duplicate

module Duplicate: functor (S : Set.S) -> sig .. end

Parameters:

S : Set.S

type dups =

`\|`	`No_dups of S.t`
`\|`	`Has_dups of S.elt`

val duplicates : S.elt list -> dups