Skip to main content

load

lean_ctx::core::value::snapshot

Function load 

Source 
pub fn load(id: Option<&str>) -> Option<ValueSnapshot>
Expand description

The snapshot of session id, or of the most recently active session.