# Functions
NewPruner creates a new Pruner.
WithHeightRangeTarget is used to configure the pruner with a custom height range target.
WithPruneCallback sets a custom callback function to be called after pruning.
WithPruningInterval is used to configure the pruner with a custom pruning interval.
WithThreshold is used to configure the pruner with a custom threshold.
# Constants
No description provided by the author
No description provided by the author
No description provided by the author
# Variables
ErrNoRegisteredHeightRecorders represents an error indicating that pruner did not register any execution data height recorders.
# Type aliases
No description provided by the author