Function extern_spec_Instant_elapsed 

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

extern spec for Instant::elapsed

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

ensures

result@ >= 0