100644 blob 4b10b08ddd94cd6c5f1ab370b3cc16e2cd76e7ff	mod.rs
040000 tree 0dbb2b97efe77b207132c6cafe91653ec288af8d	program_clauses
100644 blob 70e3c4c7ab18b39bdb22ecfcb4283b400ec10b9b	resolvent_ops.rs
100644 blob fcb3c3b177357ba81a79c97e3da73f5fee9f457c	unify.rs