module T: Core_set_intf.Types with type 'a elt = elt with type 'e t = t
Core_set_intf.Types
with type 'a elt = elt
with type 'e t = t
type +'a elt
+'a
type +'a t