sig type ('key, 'cmp, 'z) t = 'end