bindings_chain
flux_
infer
0.1.0
In flux_
infer::
refine_
tree::
pretty
flux_infer
::
refine_tree
::
pretty
Function
bindings_
chain
Copy item path
Source
fn bindings_chain(ptr: &
NodePtr
) -> (
Vec
<(
Name
,
Sort
)>,
Vec
<
NodePtr
>)