Browse🔗

Every one of the 930 exposed declarations. Sort by any column, and filter by kind, chapter, trust, or name.

“Deps” counts the project declarations in a declaration's closure and “External” the distinct constants outside the project it bottoms out in — together, how much a reader must accept in order to believe it. Sorting by them ascending finds the results that are cheapest to audit.