[][src]Type Definition jl_sys::__v4df

type __v4df = [f64; 4];