Function kimchi_stubs::projective::vesta::caml_vesta_double

#[no_mangle]
pub extern "C" fn caml_vesta_double(x: Raw) -> Raw