Function _verus_external_fn_specification_2__60__32_f32_32_as_32_Clone_32__62__32__58__58__32_clone 

pub unsafe exec fn _verus_external_fn_specification_2__60__32_f32_32_as_32_Clone_32__62__32__58__58__32_clone(
    f: &f32,
) -> res : f32

ensures

res == f,

Specification for <f32 as Clone>::clone