Property definitions

core :: file $ Text :: write_native_to
	private fun write_native_to(s: FileWriter)
	do
		for i in substrings do s.write_native(i.to_cstring, 0, i.byte_length)
	end
lib/core/file.nit:896,2--899,4

core :: file $ FlatString :: write_native_to
	redef fun write_native_to(s)
	do
		s.write_native(items, first_byte, byte_length)
	end
lib/core/file.nit:1358,2--1361,4