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