From f6b8ea05aefdbb30a64e775776380a4714f5f532 Mon Sep 17 00:00:00 2001 From: Mingwei Samuel Date: Mon, 26 Jun 2023 14:46:55 -0700 Subject: [PATCH] fixup! feat(lattices)!: Add `reveal` methods, make fields private (#789) --- lattices/src/dom_pair.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lattices/src/dom_pair.rs b/lattices/src/dom_pair.rs index 5fd90718580b..78f27f5cf065 100644 --- a/lattices/src/dom_pair.rs +++ b/lattices/src/dom_pair.rs @@ -17,7 +17,9 @@ use crate::{IsBot, IsTop, LatticeFrom, LatticeOrd, Merge}; #[derive(Copy, Clone, Debug, Default, Eq)] #[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))] pub struct DomPair { - /// The `Key` of the dominating pair lattice, usually a timestamp + /// The `Key` of the dominating pair lattice, usually a timestamp. + /// + /// This field is public as it is always monotonically increasing in its lattice. pub key: Key, /// The `Val` of the dominating pair lattice. val: Val,