pub uninterp spec fn duration_new_spec(secs: u64, nanos: u32) -> Duration
Abstract result of constructing a standard-library duration.