Update graphlayout.mli