Function varisat_internal_proof::lit_hash

pub fn lit_hash(lit: Lit) -> ClauseHash

Hash a single literal.

Multiple literals can be combined with xor, as done in clause_hash.