Module M.E

include sig ... end
type 'a t = D.element S.E.t