Function prusti_contracts::old

pub fn old<T>(arg: T) -> T

This function is used to evaluate an expression in the “old” context, that is at the beginning of the method call.