sig
  type t =
      Zext
    | Sext
    | Noreturn
    | Inreg
    | Structret
    | Nounwind
    | Noalias
    | Byval
    | Nest
    | Readnone
    | Readonly
end