sig type 'a elt = elt type 'a t = t end