Function cargo::ops::write_pkg_lockfile

pub fn write_pkg_lockfile(
    ws: &Workspace<'_>, 
    resolve: &Resolve
) -> CargoResult<()>