Skip to main content

from_sessions

lean_ctx::core::session_readset

Function from_sessions 

Source 
pub fn from_sessions(root: &Path, sessions: &[SessionState]) -> SessionReadSet
Expand description

The read set of sessions relative to root. Pure: no disk access beyond canonicalizing root.