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.