Property definitions

nitc $ MExplicitCast :: cast_cname
	fun cast_cname: String do return "{from.mangled_cname}_as_{to.mangled_cname}"
src/nitni/nitni_callbacks.nit:268,2--78