TreeFacts.empty constructor

const TreeFacts.empty()

The empty snapshot (no walk happened / empty subtree). The only const constructor: constant inputs only.

Implementation

const TreeFacts.empty()
  : _texts = const [],
    _anchors = const {},
    hasProgressIndicator = false,
    platform = null;