Function _verus_external_fn_specification_3__60__32_f64_32_as_32_Clone_32__62__32__58__58__32_clone 

pub unsafe exec fn _verus_external_fn_specification_3__60__32_f64_32_as_32_Clone_32__62__32__58__58__32_clone(
    f: &f64,
) -> res : f64

ensures

res == f,

Specification for <f64 as Clone>::clone