sig type t [@@immediate] end