100644 blob 5c23ad4a4edfbd361fb8d1259402834e7cc88b72	mod.rs
040000 tree fe538c741cbc30dd9ec5146e96493d7405eef4b1	program_clauses
100644 blob c7aa6fe105e54fcf8ff7ca2675c834d6b17a6577	resolvent_ops.rs
100644 blob 1f9090324414b34e65f82965bcc2645c8e66a561	unify.rs