Function extern_spec_std_io__print 

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

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

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 print! and println!.

terminates

ensures

true