Skip to main content

walk_axiom

Function walk_axiom 

Source
pub fn walk_axiom<'v, V: Visitor<'v>>(vis: &mut V, axiom: &'v Axiom)