pub fn extract_signal_names(result: &TranslateResult) -> Vec<String>Expand description
Extract signal names from a BoundedExpr by collecting all Var names and stripping the @timestep suffix.
pub fn extract_signal_names(result: &TranslateResult) -> Vec<String>Extract signal names from a BoundedExpr by collecting all Var names and stripping the @timestep suffix.