Empty sequence of cost items.
Empty sequence of cost items. Should be used whenever possible to avoid allocations.
CostDetails with empty trace have also zero total cost.
Helper factory method to create CostDetails from the given trace.
Helper recognizer to work with different representations of costs in patterns uniformly.