Validate full tree invariants (debug/test utility)

Performs expensive full-tree auditing of: - structural attributes (`monoids`/`measures`) consistency - global name-state invariants

Usage

validate_tree(t)

Arguments

t

FingerTree.

Value

`TRUE` invisibly; errors if invariant violations are found.

Details

Intended for debugging and tests, not hot runtime paths.

Examples

x <- as_flexseq(letters[1:10])
validate_tree(x)