Serialises a theory object to disk. The format is chosen by the file
extension (.json -> JSON, otherwise YAML). Files are written with LF
line endings.
Serialises a theory object to disk. The format is chosen by the file
extension (.json -> JSON, otherwise YAML). Files are written with LF
line endings.