pub fn fibonacci_heap_decrease_key_ty() -> Expr
FibonacciHeapDecreaseKey : Prop — decrease-key in Fibonacci heap is O(1) amortized.
FibonacciHeapDecreaseKey : Prop