[][src]Type Definition sgx_tstd::os::raw::c_double

type c_double = f64;