Function extern_spec_std_time_Instant_elapsed 

pub fn extern_spec_std_time_Instant_elapsed(self_: &Instant) -> Duration

extern spec for ::std::time::Instant::elapsed

This is not a real function: its only use is for documentation.

ensures

result@ >= 0