top-closure
Make.Keys
type t
type elt
val empty : t
val add : t -> elt -> t
val mem : t -> elt -> bool