Delete goji_emit_fun.ml