flux_infer::refine_tree::pretty

Function bindings_chain

Source 
fn bindings_chain(ptr: &NodePtr) -> (Vec<(Name, Sort)>, Vec<NodePtr>)