[]Type Definition opencl3::types::cl_int

type cl_int = i32;