wrote Xsb.mli