Module io
creusot_
contracts
0.8.0
Module io
Module Items
Functions
In creusot_
contracts::
std
creusot_contracts
::
std
Module
io
Copy item path
Source
Functions
ยง
extern_
spec_
std_
io__
eprint
extern spec for [
::std::io::_eprint
]
extern_
spec_
std_
io__
print
extern spec for [
::std::io::_print
]