Parameter Make.1-Keys

type t
type elt
val empty : t
val add : t -> elt -> t
val mem : t -> elt -> bool