Skip to main content

signature

logicaffeine_compile::codegen_sva::qor_harness

Function signature 

Source 
pub fn signature(k: &Kernel, results: &[Words]) -> u64
Expand description

The signature of a result sequence.