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