Function extern_spec_std_time_Instant_now 

pub fn extern_spec_std_time_Instant_now() -> Instant

extern spec for ::std::time::Instant::now

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

ensures

result@ >= 0