Result constructor

const Result({ required Element element, required int priority, })

Creates a Result from an element and its priority.

Implementation

const Result({required this.element, required this.priority});