Type Definition varisat_internal_proof::ClauseHash

type ClauseHash = u64;