fix docstring for LurkProofMeta

src/cli/lurk_proof.rs

@@ -14,8 +14,9 @@ use super::field_data::HasFieldModulus;
 /// Carries extra information to help with visualization, experiments etc.
 ///
 /// Note: the `ZStore` in this struct only has enough data to recover the meaning
-/// of the claim being proven: `expression`, when evaluated in the context of
-/// `environment`, is reduced to `result`. It doesn't contain private data.
+/// of the claim being proven: `expr`, when evaluated in the context of `env` and
+/// continuation `cont`, is reduced to `expr_out`, resulting on environment
+/// `env_out` and continuation `cont_out`. It doesn't contain private data.
 #[derive(Serialize, Deserialize)]
 pub struct LurkProofMeta<F: LurkField> {
     pub(crate) iterations: usize,