use ;
/// One thing an earlier session left behind, as a consumer sees it.
///
/// Plain data, like everything else here: the summary is what was
/// decided or seen, and the session and the moment are what let a
/// consumer attribute it rather than take it on trust.