sig
type
(
'
base,
'
set) t
end