Function walk_domain 

pub fn walk_domain<'v, V: Visitor<'v>>(vis: &mut V, dom: &QuantDom)