Skip to main content

diff

lean_ctx::core::knowledge::journal

Function diff 

Source 
pub fn diff(before: &[KnowledgeFact], after: &[KnowledgeFact]) -> Vec<Change>
Expand description

The changes from before to after, in identity order.