Module Set_intf.S.T


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

type +'a elt 
type +'a t