[][src]Type Definition sgx_libc::c_double

type c_double = f64;