pub type DonePredicate = fn(&dyn DynArray) -> bool;
A predicate that determines when an array has reached a desired form during execution.