Module flops 

Structs

Row

subtree is what the holder pays for this ref; shared marks a row priced net of a tree an earlier row already carried.

Tree

Functions

dominating

The root restates the whole, so the refusal names the costliest row under it.

total

A closed form’s refs are inlined into its own collapse and are never on the materialize list, so summing that list counts nothing twice.

tree

tree_at