code: def save(self, path, binary=False):
          
          if binary:
              ret = lib.EnvBsave(self._env, path.encode())
          else:
              ret = lib.EnvSave(self._env, path.encode())
          if ret == 0:
              raise CLIPSError(self._env)
docs: Save a set of constructs into the CLIPS data base.
  
          If binary is True, the constructs will be saved in binary format.
  
          The Python equivalent of the CLIPS load command.