Skip to main content

evidence

Function evidence 

Source
pub fn evidence(s: &SystemState, u: &UnitId) -> String