pub fn walk_proc<'a>(visitor: &mut impl Visitor<'a>, prok: &'a Proc)
Walk the contents of a procedure.