vampire.util.write_pickle#

vampire.util.write_pickle(path, variable)[source]#

Writes variable to path as a pickle file.

Parameters:

pathstr: Path of pickle file to be saved.
variable: A variable to be saved in pickle file.