pub fn instantiate_at(expr: &VerifyExpr, step: u32) -> VerifyExprExpand description
Instantiate an expression at a specific timestep by replacing @t with @{step}.
pub fn instantiate_at(expr: &VerifyExpr, step: u32) -> VerifyExprInstantiate an expression at a specific timestep by replacing @t with @{step}.