Skip to main content

record_file_read

lean_ctx::core::context_prefetch

Function record_file_read 

Source 
pub fn record_file_read(_path: &str)
Expand description

Records a file read for trajectory learning (OSS: no-op).