Type Definition sgx_types::c_float

type c_float = f32;