Skip to main content

DECIDE_NAME

logicaffeine_compile::codegen_sva::decision_workload

Constant DECIDE_NAME 

Source 
pub const DECIDE_NAME: &str = "decide";
Expand description

The function name DECIDE_FN defines.