sig type 'value t end