sig type ('base, 'set) t end