varisat_internal_proof

Function lit_code_hash

Source 
pub fn lit_code_hash(lit_code: usize) -> ClauseHash
Expand description

Hash a single literal from a code.

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