sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Util . Duplicate

Parameters

module S : Set.S

Signature

type dups =
| No_dups of S.t
| Has_dups of S.elt
val duplicates : S.elt list -> dups