sig
type
t = t
end