Function extern_spec_std_io__eprint 

pub fn extern_spec_std_io__eprint(args: Arguments<'_>)

extern spec for [::std::io::_eprint]

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

This is an implementation detail of std: we specify it so that we can use eprint! and eprintln!.

terminates

ensures

true