Function varisat_internal_proof::lit_code_hash

pub fn lit_code_hash(lit_code: usize) -> ClauseHash

Hash a single literal from a code.

This doesn't require the code to correspond a valid literal.