Module Core_set_intf.S1.T


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

type +'a elt 
type +'a t