Method find

proof_system/src/derived_params.rs:80–82

(&self, orig: &Ref)

    }

    pub fn find(&self, orig: &Ref) -> Option<usize> {
        self.origs_ref.iter().position(|v: &&Ref| **v == *orig)
    }

    /// Creates a new derived param for the statement index if need be else store the reference to
    /// old parameter.