[][src]Constant varisat_internal_proof::binary_format::CODE_ASSUMPTIONS

const CODE_ASSUMPTIONS: u64