Update Rop.fs