init.data.to_string
The unported dependencies are
init.data.nat.basic
init.logic
init.data.char.basic
init.data.string.basic
init.data.unsigned.basic
init.core
init.data.repr
init.data.fin.basic
init.data.list.basic