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