GraphMine

graphmine-util / io.github.sof3.graphmine.util / java.io.DataOutputStream / writeString

writeString

fun DataOutputStream.writeString(string: String): Unit