flux_infer::refine_tree::pretty

Function preds_chain

Source 
fn preds_chain(ptr: &NodePtr) -> (Vec<Expr>, Vec<NodePtr>)