sig
type
t [@@immediate]
end