Home
last modified time | relevance | path

Searched defs:VTimestamp (Results 1 – 7 of 7) sorted by relevance

/dports/lang/rust/rustc-1.58.1-src/src/tools/miri/src/
H A Dvector_clock.rs45 pub type VTimestamp = u32; typedef
72 pub fn as_slice(&self) -> &[VTimestamp] { in as_slice()
80 fn get_mut_with_min_len(&mut self, min_len: usize) -> &mut [VTimestamp] { in get_mut_with_min_len()
317 fn index(&self, index: VectorIdx) -> &VTimestamp { in index() method
398 fn assert_order(l: &[VTimestamp], r: &[VTimestamp], o: Option<Ordering>) { in assert_order()
H A Ddata_race.rs256 fn new(alloc: VTimestamp, alloc_index: VectorIdx) -> Self { in new()
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/Cabal-3.0.2.0/Distribution/Verbosity/
H A DInternal.hs20 | VTimestamp constructor
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/Cabal/Distribution/Verbosity/
H A DInternal.hs22 | VTimestamp constructor
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/Cabal/Distribution/Verbosity/
H A DInternal.hs22 | VTimestamp constructor
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/Cabal-3.6.0.0/src/Distribution/Verbosity/
H A DInternal.hs22 | VTimestamp constructor
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/Cabal-3.4.0.0/Distribution/Verbosity/
H A DInternal.hs22 | VTimestamp constructor