sig type t = Void | Float | Double | X86fp80 | Fp128 | Ppc_fp128 | Label | Integer | Function | Struct | Array | Pointer | Opaque | Vector | Metadata end