Type Alias DiffKey 

pub type DiffKey = (String, String, String, Option<u32>);

(session, from, to, context) of a cached session.diff read.