Module Core_set_intf.S.T


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

type +'a elt 
type +'a t